K 10
svn:author
V 3
dcs
K 8
svn:date
V 27
2001-02-22T11:22:14.000000Z
K 7
svn:log
V 108
Whenever the user might be offered a chance to quit through
pager_output(), respect that choice.

PR: 15747

END