diff options
| author |   Guillermo Joandet <gjoandet@gmail.com> | 2024-05-31 20:22:16 -0300 |
|---|---|---|
| committer |   Pacho Ramos <pacho@gentoo.org> | 2024-07-19 10:22:45 +0200 |
| commit | 113c092b726709ee2ba52a6547d384df0f1726de (patch) | |
| tree | b6bc163581e3b5776184f26101cb1aa446f132f9 /media-libs | |
| parent | dev-util/nvidia-cuda-toolkit: add 12.5.1 (diff) | |
| download | gentoo-113c092b726709ee2ba52a6547d384df0f1726de.tar.gz gentoo-113c092b726709ee2ba52a6547d384df0f1726de.tar.bz2 gentoo-113c092b726709ee2ba52a6547d384df0f1726de.zip | |
gui-libs/gtksourceview: Bump to 5.12.1
Signed-off-by: Guillermo Joandet <gjoandet@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/34773
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Diffstat (limited to 'media-libs')
0 files changed, 0 insertions, 0 deletions