tag a92d3d93cdef26cf454c2c45203b8d34d2232d7c 7.1.5.0
Author:	Hendrik Leppkes <h.leppkes@gmail.com>
Date:	Wed Feb 1 06:41:28 2017 +0100

Tag as 7.1.5.0

commit 82f5901deff33c308b764f81500a35df9edd526d
Author: Hendrik Leppkes <h.leppkes@gmail.com>
Date:   Fri Dec 2 18:00:03 2016 +0100

    Update TOC for 7.1

