On Monday, 16 October 2017 9:29 PM, Marvin wrote: > Patch failed to apply The testbot ran before Alexandre pushed the commits early on Saturday. The patch applies to the latest git tree.