Ben Wong 94ab9857e9 Fix that the MarkAllPages option works as originally intended ...

Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911929

2018-10-26 21:34:19 +09:00

36 KiB

Raw Blame History

View Raw