I would ping the reporter and tag the bug moreinfo, then wait a week and if there is no response, close the bug.
-- bye, pabs https://wiki.debian.org/PaulWise -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/caktje6hesratkozzehwdhhxoognnd0ogstrude144d3szzh...@mail.gmail.com
