Merge branch 'forall'
authorClifford Wolf <clifford@clifford.at>
Fri, 23 Feb 2018 18:37:00 +0000 (19:37 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 23 Feb 2018 18:37:00 +0000 (19:37 +0100)

Trivial merge