On Sat, May 26, 2012 at 11:38 PM, Matthias Clasen <matthias.clasen at gmail.com> wrote: > trivial patch to fix a leftover from the latest round of renamings. Applied. Thanks, Kay