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)
commit0d636964b81ed5db4a7031a24c4b04e3bc879ad5
tree30ec1719eadc3d0a991e0b94e54a3c1a623c66d9
parent2521ed305e9d48929c9ede93b8cb0069739408f5
parentb13e6bd375dc19fc2d6a3e67cdc6c045da732200
Merge branch 'forall'