Bug#913815: marked as done (xterm: does not correctly document saveLines default)

2019-11-04 Thread Debian Bug Tracking System
Your message dated Mon, 04 Nov 2019 17:34:46 + with message-id and subject line Bug#913815: fixed in xterm 350-1 has caused the Debian Bug report #913815, regarding xterm: does not correctly document saveLines default to be marked as done. This means that you claim that the problem has been

Bug#913815: marked as done (xterm: does not correctly document saveLines default)

2018-12-12 Thread Debian Bug Tracking System
Your message dated Wed, 12 Dec 2018 19:49:45 + with message-id and subject line Bug#913815: fixed in xterm 338-1 has caused the Debian Bug report #913815, regarding xterm: does not correctly document saveLines default to be marked as done. This means that you claim that the problem has been