diff options
| author |   Guillermo Joandet <gjoandet@gmail.com> | 2024-01-11 10:05:56 -0300 |
|---|---|---|
| committer |   Pacho Ramos <pacho@gentoo.org> | 2024-07-17 14:11:28 +0200 |
| commit | 68b3230fa2090351ef6e8a0e4512e104c2cb50fa (patch) | |
| tree | 6259e64aa7212441c607ac55555aaef4c14560c3 /dev-php | |
| parent | gnome-extra/gnome-tweaks: update HOMEPAGE (diff) | |
| download | gentoo-68b3230fa2090351ef6e8a0e4512e104c2cb50fa.tar.gz gentoo-68b3230fa2090351ef6e8a0e4512e104c2cb50fa.tar.bz2 gentoo-68b3230fa2090351ef6e8a0e4512e104c2cb50fa.zip | |
gnome-base/gsettings-desktop-schemas: Bump to 46.0
Signed-off-by: Guillermo Joandet <gjoandet@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/34751
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Diffstat (limited to 'dev-php')
0 files changed, 0 insertions, 0 deletions