Makefile: don't run `git checkout -` at the end of the build#1619

Merged

christopheNan merged 1 commit intopython:3.9from

dmerejkowsky:speedup-build

May 12, 2021

Commits on May 12, 2021

Make: don't run `git checkout -` at the end of the build
dmerejkowsky
committed