tree f55b05e6520f5d366cbbb79d0e47e7d95518b40a
parent 8b653dd0409db4e0ca91503484bb00574ad8e007
parent bd315b1f67b5b98b83bc67431c745ead8b9da982
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1643125745 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1643125745 -0500

Merge "fix release script"