ID | 154594 |
Package Name | gnome-shell-extension-historymanager-prefix-search |
Version | 12 |
Release | 4.fc33 |
Epoch | |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Sat, 04 Apr 2020 14:34:55 UTC |
Completed | Sat, 04 Apr 2020 14:34:55 UTC |
Tags |
|
RPMs |
src | |
|
gnome-shell-extension-historymanager-prefix-search-12-4.fc33.src.rpm (info) (download) |
noarch |
|
gnome-shell-extension-historymanager-prefix-search-12-4.fc33.noarch.rpm (info) (download)
|
|
Changelog |
* Tue Mar 31 2020 Andrew Toskin <andrew@tosk.in> - 12-4
- Add explicit Recommend for GNOME Shell Extensions preferences tool.
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 12-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* 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.
|