Changes pushed with changeset 19eb7b61b72ae9724ad2720c47d0710cf347ce04
User
Push date [To Local]
ChangesetPatch author — Commit message
franziskuskiefer@gmail.com
Thu Oct 05 07:51:19 2017 +0000
19eb7b61b72ae9724ad2720c47d0710cf347ce04Franziskus Kiefer — close JUD_PROMPT_BRANCH JUD_PROMPT_BRANCH