Contributors to 2019-04-01 A trick with Git merging