Merge branch 'master' into wip_alan_T5639_gitlive_general_tidy_ups
[gitlive] / RooRepo.vala
2018-12-24 Alan KnowlesFix #5632 - cache project listing