No need for a particular Htool commit anymore

Author: prj-

3rdparty/ff-petsc/Makefile

@@ -62,7 +62,7 @@ endif
 ifeq ($(FFCMAKE),no)
 PETSC_DOWNLOAD := $(PETSC_DOWNLOAD) --download-cmake
 endif
-PETSC_DOWNLOAD_C := $(PETSC_DOWNLOAD_C) --download-htool --download-htool-commit=fe5e690b6e6fa1ca64f76bc1d0c602e07ed9715a
+PETSC_DOWNLOAD_C := $(PETSC_DOWNLOAD_C) --download-htool
 ifeq ($(FF_generic_petsc), yes)
 FLAGS_MTUNE := -mtune=generic
 endif