Added link for the bug report about pulseaudio not releasing card to jack

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 5bb6b4a96e4ca8db3d7ef5616adaeea7198b06b9..83b181bd62f3b4d32a3fa794420a78f1bc5d6311 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
@@ -119,7 +119,7 @@ title: Ubuntu Linux
   The specific issues known at this time (spring 2013) are:
   <ul>
     <li>a bug in PulseAudio that causes it not to give up the
-      soundcard when JACK asks</li>
+      soundcard when JACK asks (<a href="https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1163638">LP: #1163638</a></li>
     <li>bad package dependency information that causes a critical
       package to be missing even when JACK and PulseAudio are
       installed</li>