On 2016-05-23 08:52, Sönke Ludwig wrote:

Fixed: #772 instead of #722


Not pushed?

--
/Jacob Carlborg

Reply via email to