Changelog for colobot-0.1.12-4.fc31.x86_64.rpm :

* Mon Oct 07 2019 Artur Iwicki - 0.1.12-4- Make the game always use \"Player\" as the default player name (fixes the game crashing under certain system locale settings)- Rename the .desktop file to match the .appdata.xml file name
* Wed Jul 24 2019 Fedora Release Engineering - 0.1.12-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Feb 24 2019 Artur Iwicki - 0.1.12-2- Replace python3 BR with python3-devel- Move music files to the fepdkg lookaside cache
* Sun Feb 24 2019 Artur Iwicki - 0.1.12-1- Update to newest upstream release- Drop Patch0 (appdata.xml file) - merged upstream- Drop Patch1 (use snprintf() instead of sprintf()) - issue fixed upstream- Drop Patch2 (strncpy() fix) - merged upstream
* Sat Feb 02 2019 Artur Iwicki - 0.1.11.1-8- Add a patch for strncpy() usages
* Thu Jan 31 2019 Fedora Release Engineering - 0.1.11.1-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Mon Nov 19 2018 Miro Hrončok - 0.1.11.1-7- Use python3 during build instead of python2
* Tue Nov 13 2018 Artur Iwicki - 0.1.11.1-6- Use %find_lang for .mo files and man pages
* Thu Nov 08 2018 Artur Iwicki - 0.1.11.1-5- Change the Summary: to something more descriptive- Add a comment on music files- Preserve timestamps on music files
* Thu Nov 08 2018 Artur Iwicki - 0.1.11.1-4- Add a Requires: for hicolor-icon-theme- Validate the desktop and appdata file
* Sun Nov 04 2018 Artur Iwicki - 0.1.11.1-3- Fix build failures on F28 and later
* Mon Oct 29 2018 Artur Iwicki - 0.1.11.1-2- Add an Appdata XML file- Move music into a separate subpackage
* Tue Oct 16 2018 Artur Iwicki - 0.1.11.1-1- Initial packaging