On Fri, Mar 03, 2017 at 03:04:36AM +0100, Johannes Schindelin wrote: > So far, we had no explicit tests of that function. Makes sense. The pager tests fixed in an earlier commit were effectively checking those, but I don't mind making it explicit. -Peff