Commits
Merge pull request #2805 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:tools_normalization_1_12 to hdf5_1_12 * commit '9c255bc995a9cc2b7b328507a759cc059427c839': Normalization of tools with develop
Merge pull request #2805 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:tools_normalization_1_12 to hdf5_1_12 * commit '9c255bc995a9cc2b7b328507a759cc059427c839': Normalization of tools with develop