On 18/12/2018 12:54, Siddons, David wrote: > This git issue seems to be specific to my laptop. Both my big server and my > work desktop had no trouble. Not sure how to debug it further, or if it's worth > the effort. Ok. Happy help offline if you need a hand. > I'll continue using the working copies and get on with EPICS. Thanks Chris