lightweight tag 4ee5a7757490f3e3e0e2eef2f61924b519dd3763 1.2.3
Author:	Benjamin Staneck <staneck@gmail.com>
Date:	Tue Jul 17 22:55:03 2018 +0200

commit 4ee5a7757490f3e3e0e2eef2f61924b519dd3763
Author: Benjamin Staneck <staneck@gmail.com>
Date:   Tue Jul 17 22:55:03 2018 +0200

    update toc for patch 8.0

