Processing commands for [email protected]:

> tags 850047 + upstream
Bug #850047 [linux] linux: x32 __vdso_clock_gettime falls back to x86-64 syscall
Added tag(s) upstream.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
850047: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=850047
Debian Bug Tracking System
Contact [email protected] with problems

Reply via email to