Dear developers,
since we had recently a few occasions where the log comment of an SVN commit contained a wrong JIRA bug ID and thus ought to be changed, I configured SVN in a way that the maintainers are able to change commit logs. (Since commit logs themselves are not versioned, I did not allow everybody to change them.)
Hence, if you require important changes (wrong bug IDs, but not just misspelled words) to commit logs, contact Benjamin or me.
I have already corrected all commit logs which were wrong according to a comment in JIRA.
Best regards, Helmut
trex-devel@informatik.uni-goettingen.de