Diff erubi-1.12.0 with a erubi-1.13.1

Thank you!