Bug#53842: Info received (was Bug#53842: devpts.sh missing in latest release)

[owner@bugs.debian.org (Debian Bug Tracking System)]

Thank you for the additional information you have supplied regarding
this problem report.  It has been forwarded to the developer(s) and
to the developers mailing list to accompany the original report.

Your message has been sent to the package maintainer(s):
 Miquel van Smoorenburg <miquels@cistron.nl>

If you wish to continue to submit further information on your problem,
please send it to 53842@bugs.debian.org, as before.

Please do not reply to the address at the top of this message,
unless you wish to report a problem with the Bug-tracking system.

Darren Benham
(administrator, Debian Bugs database)