Fix #5723 - make ticket creation faster
[gitlive] / old_seed_version / git_tool_notes.txt
2017-08-11 Alan Knowlessync