Processing commands for cont...@bugs.debian.org:
> reopen 863914
Bug #863914 {Done: Salvatore Bonaccorso <car...@debian.org>} [linux-libc-dev]
linux-libc-dev: Install separate from /usr/include
Bug reopened
Ignoring request to alter fixed versions of bug #863914 to the same values
previously set
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
863914: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863914
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
