On 28/02/2018 10:18, Colm O hEigeartaigh wrote: >> Hi Dennis, >> >> Yes adding it into a profile would be great - otherwise it wouldn't be >> possible to build the branch without making local changes.
Done, please let me know if it still doesn't work for you. Cheers Dennis