little bit off topic: problem with mm

[Thomas Schäfer]

Am Freitag, 11. Januar 2013 um 17:48:54 schrieb Aleksander Morgado:

> :/ The patch should be already in git master... can you re-try just with
> 

I did it. 

> git master, no patch to be applied?


It works.