On 2016-06-03 18:50, Glenn Morris wrote:
> Clément Pit--Claudel wrote:
> 
>> [...] the call to update-directory-autoloads leaves the generated
>> autoload files modified, but unsaved.
> 
> Due to recent e971ce6de27f. Seems like an update-directory-autoloads bug
> to me.

Brilliant, thanks for spotting this so quickly :)