Christoph Berg Wed, 14 Mar 2007 07:08:31 -0800
Synopsis: pager line sometimes not reset **** Comment added by cb on Wed, 14 Mar 2007 16:04:33 +0100 **** This is the same as #2807.
