Diff recode-3.7.12-r1 with a recode-3.7.13

Thank you!