diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2024-10-16 13:46:10 +0200 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2024-10-21 09:52:42 +0200 |
| commit | b5a6a40f5bafa540ab3ded1e050daceedaf36035 (patch) | |
| tree | 8c8bef40e96b751e4b17b8e55733897ae1e4e1b4 /media-sound | |
| parent | app-editors/jedit: add 5.7.0 (diff) | |
| download | gentoo-b5a6a40f5bafa540ab3ded1e050daceedaf36035.tar.gz gentoo-b5a6a40f5bafa540ab3ded1e050daceedaf36035.tar.bz2 gentoo-b5a6a40f5bafa540ab3ded1e050daceedaf36035.zip | |
dev-java/jdbc-mysql: add 9.1.0
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/38836/commits/2a0a4e737c34a5d46748b0f01d9ba432488f529a
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'media-sound')
0 files changed, 0 insertions, 0 deletions