Am 23.05.2016 um 09:03 schrieb Jacob Carlborg:
On 2016-05-23 08:52, Sönke Ludwig wrote:

Fixed: #772 instead of #722

Not pushed?


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

Reply via email to