K 10
svn:author
V 7
linimon
K 8
svn:date
V 27
2020-12-18T23:41:39.993068Z
K 7
svn:log
V 104
Actually change the MONO_DEFAULT now that lang/mono5.10 exists.  This
should have been part of r558402.

END