Forgot to that this was fine before that rebase (as in May 26th).

-- 
To unsubscribe, send mail to [email protected].

Reply via email to