2019-11-20, 16:28
Sounds good @black_eagle . A separate commit initially would make life easiest for me, but would need squashing before merge. So I really don't mind if you use a new branch on local repo as a stepping stone, or work in the branch you raised against master. Know how you love git