Hi Emilio,

I really tried, but did not succeed. One need another try.



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.

Reply via email to