K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2014-10-03T04:13:25.033822Z
K 7
svn:log
V 93
Fix a bug in r272297 which prevented dumpdev from setting.
!u is not equivalent to (u != 0).

END