9a1e5a2c97
This PR removes v1.3, v1.4, v1.5 remnants from repo. They are not supposed to be maintained in the master branch any more.