tag 548823 + pending thanks On Sat, 17 Oct 2009, gregor herrmann wrote: > > btw, it's master.debian.org:/home/debian/misc/irc-password > > I might provide a patch, tho I'm assuming it wouldn't be very hard for > > the devref maintainers to just change it... > > Let's try to make their lives easier with the attached patch :) Applied, thanks. Cheers, -- Raphaël Hertzog