Hi Emilio, I really tried, but did not succeed. One need another try.
Regards Anton 2016-09-19 17:09 GMT+02:00 Emilio Pozuelo Monfort <po...@debian.org>: > Ping? This is blocking the boost1.58 removal, which in turn is blocking the > openmpi transition. I'd appreciate it if you could take a look at this.
