diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2020-06-27 23:49:08 +0200 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2020-06-27 23:50:53 +0200 |
| commit | 687b87536f59d25cfcd2d3028250ca9cbc0021a8 (patch) | |
| tree | 9c1b1fbf31564a24af4bca19c1621940ea398877 /dev-lang/mlton | |
| parent | media-sound/spotify: fix pulseaudio / apulse dependency (diff) | |
| download | gentoo-687b87536f59d25cfcd2d3028250ca9cbc0021a8.tar.gz gentoo-687b87536f59d25cfcd2d3028250ca9cbc0021a8.tar.bz2 gentoo-687b87536f59d25cfcd2d3028250ca9cbc0021a8.zip | |
x11-plugins/enigmail: bump to v2.1.7
Package-Manager: Portage-2.3.101, Repoman-2.3.22
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'dev-lang/mlton')
0 files changed, 0 insertions, 0 deletions