From 3a1bc27aa7343765fcb19e1148c5c11c623b2122 Mon Sep 17 00:00:00 2001
From: Kaj Ailomaa <zequence@mousike.me>
Date: Thu, 11 Apr 2013 23:04:06 +0200
Subject: [PATCH] Removed line about jackdbus stop crash bug, which is no
 longer affecting Ubuntu 12.04 and later

---
 .../08_platform-specifics/01_ubuntu-linux.html                 | 3 ---
 1 file changed, 3 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 ea5137f..3cd226c 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
@@ -78,9 +78,6 @@ title: Ubuntu Linux
     <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>
       (fixed in Ubuntu 13.04).</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>
-      (fixed in Ubuntu 13.04)
   </ul>
 </p>
 </dd>
-- 
2.37.2