ID | 193816 |
Package Name | gnome-shell-extension-historymanager-prefix-search |
Version | 12 |
Release | 7.fc33 |
Epoch | |
Summary |
Description |
Built by | davidlt |
State |
complete
|
Volume |
DEFAULT |
Started | Thu, 08 Apr 2021 14:50:45 UTC |
Completed | Thu, 08 Apr 2021 14:50:45 UTC |
Tags |
|
RPMs |
src | |
|
gnome-shell-extension-historymanager-prefix-search-12-7.fc33.src.rpm (info) (download) |
noarch |
|
gnome-shell-extension-historymanager-prefix-search-12-7.fc33.noarch.rpm (info) (download)
|
|
Changelog |
* Thu Mar 11 2021 Audrey Toskin <audrey@tosk.in> - 12-7
- Minor rebuild to mark HistoryManager Prefix Search as incompatible
with GNOME 40.
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 12-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 12-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Mar 31 2020 Audrey Toskin <audrey@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
|