Le 02/09/13 11:33, Stephan Bergmann a écrit : > > And that (unrelated) one is fixed now with > <0e40013d909c5b28f9d37cf7370fceed1a6ae891> "Add macosx_x86_64 extension > platform identifier." > Oh, excellent, thanks ! Alex