diff options
| author |   Georgy Yakovlev <gyakovlev@gentoo.org> | 2022-05-26 09:05:58 -0700 |
|---|---|---|
| committer | Georgy Yakovlev <gyakovlev@gentoo.org> | 2022-05-26 09:36:04 -0700 |
| commit | d28e380e81d2eba592d62dbc7879482872917efe (patch) | |
| tree | 10ffeda49bc70744b589f220316e8da695671a1f /dev-java/ant-junit/metadata.xml | |
| parent | dev-lang/rust: add miri patch to 1.61.0-r1 (diff) | |
| download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip | |
miri is not usually tested with releases, but sometimes it works fine.
sometimes it requires minor patches.
let users know upfront that it might be broken.
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
Diffstat (limited to 'dev-java/ant-junit/metadata.xml')
0 files changed, 0 insertions, 0 deletions