Commit 4d1a21e0056cf1c65db9fd62cfd02294eff34970

Bruno Haible 2019-04-01T22:12:09

build: Separate git operations from build operations.