$ git reset --hard HEAD is now at de13c31 Actually we have many contributors $
Chad, you made my day:) //Saper _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l