From 5ca78b59a194c5521b0ea73a56310528eed5f958 Mon Sep 17 00:00:00 2001
From: Kaj Ailomaa <zequence@mousike.me>
Date: Fri, 5 Apr 2013 16:27:20 +0200
Subject: [PATCH] Added link to bug report on jack, and clarified that only
 jackdbus 1.9.8 suffers from this bug.

---
 .../08_platform-specifics/01_ubuntu-linux.html                | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
index 96343c6..9e630ab 100644
--- a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
+++ b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
@@ -120,8 +120,8 @@ title: Ubuntu Linux
   <ul>
     <li>a bug in PulseAudio that causes it not to give up the
       soundcard when JACK asks (<a href="https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1163638">LP: #1163638</a></li>
-    <li>a bug that causes JACK to freeze up when told to stop, 
-      causing issues with restarting</li>
+    <li>a bug that causes jackdbus v.1.9.8 (jackd does not suffer from this) to freeze up when told to stop, 
+      causing issues with restarting (<a href="https://bugs.launchpad.net/ubuntu/precise/+source/jackd2/+bug/956438">LP: #956438</a></li>
   </ul>
 </dd>
 <dt>Symptoms</dt>
-- 
2.37.2