On Thu, Jun 09, 2016 at 02:30:58AM +0200, Iustin Pop wrote: > Until they do, do we use patches for this kind of issues, or do we > prefer only 'pristine' libraries? Yes, we patch.