Makefile: don't run git checkout -
at the end of the build#1619
Merged
christopheNan merged 1 commit intopython:3.9from May 12, 2021
Merged
Makefile: don't run `git checkout -` at the end of the build#1619christopheNan merged 1 commit intopython:3.9from
christopheNan merged 1 commit intopython:3.9from