diff options
| author |   Andreas Sturmlechner <asturm@gentoo.org> | 2023-09-13 15:46:47 +0200 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2023-09-13 19:43:53 +0200 |
| commit | 68b5147909e22a2e84e602e965221d42b0ebaa2f (patch) | |
| tree | a2a54e433b7ccdfa3c04924ce241253bd9b45dc8 /dev-ml/ppx_fixed_literal | |
| parent | kde-plasma/xdg-desktop-portal-kde: 5.27.8 version bump (diff) | |
| download | gentoo-68b5147909e22a2e84e602e965221d42b0ebaa2f.tar.gz gentoo-68b5147909e22a2e84e602e965221d42b0ebaa2f.tar.bz2 gentoo-68b5147909e22a2e84e602e965221d42b0ebaa2f.zip | |
kde-plasma/xembed-sni-proxy: 5.27.8 version bump
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_fixed_literal')
0 files changed, 0 insertions, 0 deletions