tree abb47e5e944ce3739651f14615b0526c7069bc65
parent 9bdecc77aac18a7c8eb17154b958c6b7bf02a749
parent e27fa84280c7a2fdb54581dc042a06941f5fd020
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1676215604 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1676215604 -0500

Merge "Get rid of JUnit 5 dependency"