Changelog for gnome-shell-extension-historymanager-prefix-search-12-2.fc31.noarch.rpm :

* Thu Jul 25 2019 Fedora Release Engineering - 12-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Mon Apr 22 2019 Andrew Toskin - 12-1- Bump to upstream version 12, which adds an option to change the key bindings.
* Thu Jan 31 2019 Fedora Release Engineering - 11-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering - 11-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Fri Jun 08 2018 Andrew Toskin - 11-1- Bump to upstream version 11, which fixes a bug that could multiply user keypresses.
* Wed Feb 07 2018 Fedora Release Engineering - 10-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild