On Tuesday 2014-12-02 16:34, Kyrill Tkachov wrote:
Back in July this deprecated option was removed. This patch adds a note to changes.html for that.Looked at the result in firefox, looked ok to me. Ok to commit?
Yep. And I very comfortable for you to commit changes like thiswithout asking for approval. Mind, I am happy to review (except for Dec 6h-17th where I expect I'll be off-offline),
I just don't want to enforce too much process on you. Gerald