Processing commands for control@bugs.debian.org: > tag 621869 + confirmed Bug #621869 [release.debian.org] pu: package xenomai/2.5.4-3 - Fix for #614010 Added tag(s) confirmed. > thanks Stopping processing here. Please contact me if you need assistance. -- 621869: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=621869 Debian Bug Tracking System Contact owner@bugs.debian.org with problems