How to fix issues with bugs

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 667c80fb884ecdefbbabbbbb339d1482397ec250..8948cb10de5428b3f043760adc1c0735eb530239 100644 (file)
--- 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
@@ -115,8 +115,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 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>
+    <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>
@@ -129,6 +129,10 @@ title: Ubuntu Linux
 </p>
 </dd>
 <dt>How to fix</dt>
+<p>
+  Install jackd2 1.9.9 to fix crash on stop bug.
+  Install pulseaudio-3.0 to fix card reservation bug.
+</p>
 <dd>
 </dd>
 </dl>