ID | 110201 |
Package Name | gnome-shell-extension-historymanager-prefix-search |
Version | 12 |
Release | 2.fc31 |
Epoch | |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Wed, 31 Jul 2019 17:32:57 UTC |
Completed | Wed, 31 Jul 2019 17:32:57 UTC |
Tags |
|
RPMs |
src | |
|
gnome-shell-extension-historymanager-prefix-search-12-2.fc31.src.rpm (info) (download) |
noarch |
|
gnome-shell-extension-historymanager-prefix-search-12-2.fc31.noarch.rpm (info) (download)
|
|
Changelog |
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 12-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Mon Apr 22 2019 Andrew Toskin <andrew@tosk.in> - 12-1
- Bump to upstream version 12, which adds an option to change the key
bindings.
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 11-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 11-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Fri Jun 08 2018 Andrew Toskin <andrew@tosk.in> - 11-1
- Bump to upstream version 11, which fixes a bug that could multiply
user keypresses.
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 10-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|