V67+: Merge branch 'bennuttall-bennuttall-pi-repr'
authorjoan <joan@abyz.me.uk>
Sun, 21 Oct 2018 08:30:14 +0000 (09:30 +0100)
committerjoan <joan@abyz.me.uk>
Sun, 21 Oct 2018 08:30:14 +0000 (09:30 +0100)

Trivial merge