0.3.1.137: History tagging

This old version was built again to help in tracking regressions - in case a bug is found, it can be tested to confirm whether the bug was introduced before or after this tag.