On Fri, Jan 10, 2020 at 03:50:49PM +0100, Mark Wielaard wrote: > An earlier variant of the default progress function could write to any > file. Which is still in the documentation. But the actual implementation > just uses stderr. Fix the documentation to match.
I pushed this to master.
