Merge branch 'jc/merge-reduce-parents-early' into maint

diff --git a/Makefile b/Makefile
index cf2c40b44f8383d002235400660d76ef7f6de33c..be1957a5e986d2e0581123dfe4e0eeb6702c13dc 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2635,7 +2635,6 @@ dist-doc:
 
 distclean: clean
        $(RM) configure
-       $(RM) po/git.pot
 
 profile-clean:
        $(RM) $(addsuffix *.gcda,$(addprefix $(PROFILE_DIR)/, $(object_dirs)))