Re: patches that have not been posted

[Stepan Kasal]

Hi,
  the mails in question have finally went through!
So the issue is probably fixed.

Stepan