Fix #5724 - force ticket selection for branches...
[gitlive] / INSTALL
2017-08-11 Alan Knowlessync