I'm looking at the latest diffs here and it looks like you didn't downgrade
anything.
On 2 Dec 2015 9:59 am, "David González Gándara" <
david.gonzalez.gandara@rai.usc.es> wrote:

> I'm sorry about my unexpertise with git. I tried to merge my local changes
> with the ones Stefan Monnier's did fixing my package and I think I may have
> downgraded other changes.
>