From 1d7eb22bbac7e6a0b6ebccd9fb5d2800bea88bef Mon Sep 17 00:00:00 2001
From: Kaj Ailomaa <zequence@mousike.me>
Date: Fri, 5 Apr 2013 15:55:54 +0200
Subject: [PATCH] Added link for the bug report about pulseaudio not releasing
 card to jack

---
 .../08_platform-specifics/01_ubuntu-linux.html                  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 5bb6b4a..83b181b 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
@@ -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>
-- 
2.37.2