Merge remote-tracking branch 'refs/remotes/origin/master'
authorMart Lubbers <mart@martlubbers.net>
Thu, 29 Jun 2017 14:28:49 +0000 (16:28 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 29 Jun 2017 14:28:49 +0000 (16:28 +0200)
1  2 
results.arch.tex

Simple merge