On 2016-05-23 09:06, Sönke Ludwig wrote:

Pushed now, didn't notice that the push failed due to out-of-date local
branch.


It looks correct now, thanks.

--
/Jacob Carlborg

Reply via email to