From 457ab6d35fdd3ea0166097b140b26dc083edc019 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Mon, 11 Nov 2019 17:52:48 -0700
Subject: [PATCH] put JACK time master option back in the menus

---
 gtk2_ardour/ardour.menus.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtk2_ardour/ardour.menus.in b/gtk2_ardour/ardour.menus.in
index f0bcaa1977..cfc62ec25e 100644
--- a/gtk2_ardour/ardour.menus.in
+++ b/gtk2_ardour/ardour.menus.in
@@ -154,6 +154,7 @@
       </menu>
 
       <separator/>
+      <menuitem action='ToggleTimeMaster'/>
       <menuitem action='TogglePunch'/>
       <menuitem action='TogglePunchIn'/>
       <menuitem action='TogglePunchOut'/>