Diff Tensile-5.1.3-r3 with a Tensile-5.4.2-r2

Thank you!