[00:00] <SpamapS> slangasek: can't we just give people a 'forget pid' command if we can't give them the "right" solution for that bug?
[00:02] <benzittlau> SpamapS: thanks, I'll give those workarounds a shot
[00:19] <slangasek> SpamapS: well, in theory that bug should also be fixed when I fix bug #530779, which is inprogress-ish
[00:34] <SpamapS> slangasek: thats quite encouraging to hear
[00:34]  * SpamapS disappears for the day
=== benzittlau_ is now known as benzittlau