The following commit has been merged in the master branch:

-- 
Git repository for devscripts


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

Reply via email to