Hi,

  In mail "Ripper patch"
  Peter <Peter.Vanbroekhoven / cs.kuleuven.ac.be> wrote:

> Just a copy&paste error, I suspect.

Checked in.  Thank you very much.

Regards,
Minero Aoki