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.