gnome-games 3.31.1

[Alexander Mikhaylenko <install-module master gnome org>]

About Games
===========

Games is a GNOME 3 application to browse your video games library and
to easily pick and play a game from it.

News
====

* UI
 - Update primary menu layout according to app menu retirement initiative.
 - Refine controller preferences: hide sidebar while testing controllers
   and use better transitions.
 - Wrap plugin descriptions in preferences.
 - Remove double border on preferences sidebar.
 - Use HdyColumn to allow preferences dialog to get smaller.
 - Use HdyTitleBar in main and preferences windows.
 - Update development build style.

* Don't build MAME plugin by default. It can still be enabled via
  '-Dmame-plugin=true' build option.


Download
========
https://download.gnome.org/sources/gnome-games/3.31/gnome-games-3.31.1.tar.xz (2.12M)
  sha256sum: 50fe4a8aab52ceca3f51475af0490fa6cb16add9202d79050932bc6e835f3e9b