K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-10-15T15:16:36.912364Z
K 7
svn:log
V 74
Remove a device_printf() accidentally left in r213894.

Submitted by:	jhb

END