commit | 62d580b9305780edd6ec6354af7b586d11d03ad7 | [log] [tgz] |
---|---|---|
author | Guillaume Nodet <gnodet@gmail.com> | Thu Jan 13 10:01:33 2022 +0100 |
committer | GitHub <noreply@github.com> | Thu Jan 13 10:01:33 2022 +0100 |
tree | 14374584b9db0d62fa81ee8d55236e386d0ffb27 | |
parent | 1de326c59eb351dc7f13c9ee502957fbbe1e4de5 [diff] |
Daemon reuse ignores differences in `.mvn/jvm.config`, fixes #576 (#580)