I think the update makes it clear enough to me, but I did not find any update on the recompilation issue.
On Sat, Sep 30, 2017 at 01:24:46PM +0000, Laurent Bercot wrote: > Please tell me if it makes things clearer for you, or if something more > is needed. -- My current OpenPGP key: RSA4096/0x227E8CAAB7AA186C (expires: 2020.10.19) 7077 7781 B859 5166 AE07 0286 227E 8CAA B7AA 186C