On 16 May 2016 at 19:27, Ben Gamari <ben at well-typed.com> wrote: : > * the patch vendorising the alabaster theme for haddock's documentation Thanks this also affects the build for RHEL7, so it will help me. Jens