@anon12454812’s post was from about the same time as the post about the release of 17.08.1, and the fix is not mentioned in the release notes when fixes in general are mentioned there (see the notes for 17.07.6).
@anon12454812’s post was from about the same time as the post about the release of 17.08.1, and the fix is not mentioned in the release notes when fixes in general are mentioned there (see the notes for 17.07.6).