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