On Tuesday, 16 May 2017 at 19:56:56 UTC, Joseph Rushton Wakeling wrote: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 happened.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 :)
