Changelog for gnome-shell-extension-historymanager-prefix-search-12-4.fc30.noarch.rpm :

* Tue Mar 31 2020 Andrew Toskin - 12-4- Add explicit Recommend for GNOME Shell Extensions preferences tool.
* Tue Jan 28 2020 Fedora Release Engineering - 12-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* 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.