K 10
svn:author
V 2
ps
K 8
svn:date
V 27
2006-04-27T19:01:54.000000Z
K 7
svn:log
V 150
With minidumps, the dumping partition could be smaller than physical
memory, so checking the size of the partition is not necessary.

Tested by:	kris

END