Changes pushed with changeset 1b5d811e3b136ec14fe45d5e0914829fba8cac15
User
Push date [To Local]
ChangesetPatch author — Commit message
kaie@kuix.de
Thu Jan 18 12:40:38 2018 +0000
1b5d811e3b136ec14fe45d5e0914829fba8cac15Kai Engert — set version numbers to 4.19 beta