K 10
svn:author
V 6
iulius
K 8
svn:date
V 27
2016-05-05T13:21:29.878467Z
K 7
svn:log
V 118
Mention that mips define dev_t to be 64-bits whereas st_dev is 32-bits

It does not matter, though, in our use cases.

END
