Ping? Are there remaining issues with the patch or should I leave
you guys alone until the release stress is over?

-- 
        Gregor Best

Reply via email to