Round of crashes exporting or publishing on 7.1.x (Solved 7.1.3)

[gzbox (Giorgio Zamariola)]

Publishing problem: "Exception while exporting site"

OK - Updated to RW 7.1.3: no more crashes, it works fine. Thanks DAN!