Re: Revert commit (Was: made a mistake)

[Piotr Drąg]

Rui Gouveia pisze:
> Can someone, please, revert my commit.

I've reverted it a moment ago. It's easy, you just have to download 
previous revision from gitweb and submit it as a new one.