This was fixed by @valavanisalex in r12155 and wiki already updated accordingly. Both Debian and Ubuntu got newer stable/LTS with at least 7.1, so this won't be a problem.
This was fixed by @valavanisalex in r12155 and wiki already updated accordingly.
Both Debian and Ubuntu got newer stable/LTS with at least 7.1, so this won't be a problem.