Commits
Merge pull request #2542 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:warning_fixes to develop * commit 'c3367e6634d4dee88ff855da08e312f6685c23af': Moved -Woverlength-strings to the developer flags.
Merge pull request #2542 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:warning_fixes to develop * commit 'c3367e6634d4dee88ff855da08e312f6685c23af': Moved -Woverlength-strings to the developer flags.