gh-110704: Recommend distclean target over clean when source tree is not clean#112610
Merged
gpshead merged 2 commits intoMay 24, 2026
Merged
distclean target over clean when source tree is not clean#112610