3 ms·It's no big deal; just email pg and he'll kill the thread.by rms 17y agoIt's no big deal; just email pg and he'll kill the thread.