Re: #6081: please keep releases.txt up-to-date