util/tracediff:
stats:file option is now stats:text_file
--HG--
extra : convert_revision : 74b6294da0003345e84bc1533d536dab271b6033
util/tracediff:
stats:file option is now stats:text_file
--HG--
extra : convert_revision : 74b6294da0003345e84bc1533d536dab271b6033