This fixes yet another UI glitch that has hurt me a thousand times or more.
1 patch for repository http://darcs.net/screened:
patch ebc504f611ce088e78657a4b28d2f3b3d6b0c851
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Jul 19 20:13:22 CEST 2019
* whatsnew: print via pager (unless --xml or -s is active)