Hi, Does anybody know what is the purpose of HEADER.html which is located at dist.apache.org?
https://dist.apache.org/repos/dist/release/jmeter/HEADER.html The file is mentioned in https://wiki.apache.org/jmeter/ReleaseCreation, however its purpose is obscure. Why do we need to update that file during the release process? I'm inclined to just drop the file or remove the version number from it. Vladimir
