K 10 svn:author V 7 stefanf K 8 svn:date V 27 2008-08-27T20:16:06.461092Z K 7 svn:log V 187 Fix a bug in r177497 which caused the getopts state to be reset when 'set' was used to set a shell option (and not to change the positional parameters). Submitted by: Martin Kammerhofer END