Hi all, I would like to use the PetscHash functionality in my code. At the moment this is not possible, since the header file hash.h is not public (it's in src/sys/utils/hash.h). Would there be any objections to moving it to (say) include/petschash.h so that PETSc applications can use it as well as PETSc itself. Thanks, Lawrence