K 10
svn:author
V 2
pi
K 8
svn:date
V 27
2014-08-31T10:42:04.590255Z
K 7
svn:log
V 96
lang/smlnj: fix tmpname warning

PR:		191899
Submitted by:	joemann@beefree.free.de (maintainer)

END