On Wed, Nov 15, 2017 at 4:50 PM, Jan Lahoda <[email protected]> wrote: > ...the file name will need to > be changed in the hash file as well/the hash files will need to be > regenerated, although the hash itself should remain the same...
That's fine - we vote on hashes, not filenames, though having the right name from the start is better of course. -Bertrand
