Changelog for gnome-shell-extension-historymanager-prefix-search-12-5.fc33.noarch.rpm :

* Mon Jul 27 2020 Fedora Release Engineering - 12-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* 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