diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2022-09-05 16:01:11 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2022-09-05 16:01:11 +0200 |
| commit | ccd24150dfddb45d9706778dae3a1927405981bf (patch) | |
| tree | 53bcb53ee8e07dd944ad7979c0e121eb04525304 /dev-ml/ppx_ignore_instrumentation | |
| parent | media-sound/abcmidi: amd64 stable wrt bug #868531 (diff) | |
| download | gentoo-ccd24150dfddb45d9706778dae3a1927405981bf.tar.gz gentoo-ccd24150dfddb45d9706778dae3a1927405981bf.tar.bz2 gentoo-ccd24150dfddb45d9706778dae3a1927405981bf.zip | |
media-sound/gpodder: amd64/x86 stable (ALLARCHES policy) wrt bug #868534
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_ignore_instrumentation')
0 files changed, 0 insertions, 0 deletions