tree 032d8acff1ddd2f8bfa34f784406218552e27482
parent c7b60dbbb82c781030af5e66caed73b8e12840f1
author Thorsten Schöning <tschoening@am-soft.de> 1542875367 +0100
committer Thorsten Schöning <tschoening@am-soft.de> 1542875367 +0100

This is HEAD, the former values must have leaked in using the release_*-scripts.