tree 9145c6dab0e4b748d64aea9b51ddf75b189d8885
parent 9f7461a79860c3ce283b10f9b492429d435c4544
parent 68eea937d575fe49ebf310760a320de814e9bbba
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1578593405 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1578593405 -0500

Merge "CHeck all parameters when comparing unit signatures. See bug 521619."