OK, thanks for this fast fix. Has this already been pushed to trunk? I couldn't find the commit in question.
OK, thanks for this fast fix. Has this already been pushed to trunk? I couldn't find the commit in question.