On Tuesday, 16 May 2017 at 20:35:51 UTC, Joseph Rushton Wakeling
On Tuesday, 16 May 2017 at 19:56:56 UTC, Joseph Rushton
With your patch in the repo, the packages should be
automatically rebuilt and uploaded some time in the next hours.
I'll follow up with an announcement here once that has
Patches with Petar's PIC fix in them have now been uploaded to
the store. I've tested on Ubuntu 16.10 and 17.04 and they seem
to work well.
Nice, thanks for the quick merge :)