K 10
svn:author
V 5
riggs
K 8
svn:date
V 27
2019-12-31T12:33:53.003192Z
K 7
svn:log
V 114
Introduce non-DEFAULT OPTION for link-time-optimisation

PR:		242829
Submitted by:	daniel.engberg.lists@pyret.net

END