commit | 8b653dd0409db4e0ca91503484bb00574ad8e007 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Mon Jan 24 09:04:05 2022 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Mon Jan 24 09:04:05 2022 -0500 |
tree | 42aea2b6558256e34e23f21b77df8d8868f0f55a | |
parent | 2a33248dc3852d3d097111e0076cb529cb57ee08 [diff] | |
parent | 8481950a6690261d76590f61e8002588d7200ea2 [diff] |
Merge "Fix validation (contributed by Raffaela Groner)"