This bug was fixed in the package linux - 3.9.0-7.15

---------------
linux (3.9.0-7.15) saucy; urgency=low

  [ Tim Gardner ]

  * [debian] Use dh_strip
    - LP: #1192759
  * [Config] Enable perf for armhf
  * do_tools=false when cross compiling
  * rebase to v3.9.7
  * [Config] CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS=y
    - LP: #1108082
  * Release Tracking Bug
    - LP: #1193189

  [ Upstream Kernel Changes ]

  * rebase to v3.9.7
 -- Tim Gardner <[email protected]>   Thu, 20 Jun 2013 22:32:49 -0400

** Changed in: linux (Ubuntu)
       Status: Fix Committed => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1108082

Title:
  coredump_filter omits build IDs

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1108082/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to