2017-09-25 | jenkins | Merge branch 'release/4.10.0' 4.10.0 | blob | commitdiff | raw |
2017-08-31 | Patrick Plitzner | Merge branch 'develop' into nameEditorE4 | blob | commitdiff | raw |
2017-08-30 | Katja Luther | ref #6860: use timezone offset 0 and change joda DateTi... | blob | commitdiff | raw |