K 10 svn:author V 3 imp K 8 svn:date V 27 2020-02-23T23:39:55.603223Z K 7 svn:log V 202 Bump CONFIGVERS to 600017. This change reflects the ability to change machine_arch in a config file. This is useful for including one config in another and changing the machine_arch in the second one. END