diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-06-18 08:36:05 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-06-19 08:02:26 +0200 |
| commit | b460c75da05ea90bb343bf37ce5234e6a56202e4 (patch) | |
| tree | e7bce434636e27a978e7115c2bf6dbb4eb527951 /dev-lang/mlton | |
| parent | sys-kernel/vanilla-kernel: Bump to 5.6.19 (diff) | |
| download | gentoo-b460c75da05ea90bb343bf37ce5234e6a56202e4.tar.gz gentoo-b460c75da05ea90bb343bf37ce5234e6a56202e4.tar.bz2 gentoo-b460c75da05ea90bb343bf37ce5234e6a56202e4.zip | |
sys-kernel/gentoo-kernel: Bump to 5.6.19
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-lang/mlton')
0 files changed, 0 insertions, 0 deletions