no pushes to git.ardour.org until after 08:00 August 15th, please. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.ardour.org/pipermail/ardour-dev-ardour.org/attachments/20170815/7b878b20/attachment.htm>