On 29/09/2019 17:46, Mark Thompson wrote: > stuff Applied 2-5, 7 and 8 of this set. 1 is of unclear benefit beyond making Coverity shut up and could possibly reject conforming streams in some extreme cases. 6 was replaced by the identical 31350de9970a1bc827e3b155bb285fd974116a6f. - Mark