On 01 Dec 2008, at 09:48, Jeremias Maerki wrote: Hi Jeremias,
I think it should be safe to make them private. If there's a reason to make the protected we'll hear about it soon.
OK, done (see r722613)Thanks for the pointers in the Bugzilla report. That would of course be the most comprehensive fix for the issue. Haven't looked at the patch yet. Will follow-up via Bugzilla once I have.