Merge branch 'master' of git.ardour.org:ardour/ardour
authorPaul Davis <paul@linuxaudiosystems.com>
Fri, 7 Jun 2013 17:16:45 +0000 (13:16 -0400)
committerPaul Davis <paul@linuxaudiosystems.com>
Fri, 7 Jun 2013 17:16:45 +0000 (13:16 -0400)

Trivial merge