On Wed, Apr 22, 2020 at 01:45:25PM +0100, Robert Swindells wrote: > Do we need to do anything special to fix it in our checked out trees, or > will just a 'cvs update' do it ? I think a cvs up should do. Martin