K 10 svn:author V 3 pav K 8 svn:date V 27 2007-04-02T22:42:38.000000Z K 7 svn:log V 209 - Add a code to invalidate saved OPTIONS when the set of OPTIONS defined in a port changes. The end user inpact of this is more blue screens. PR: ports/97125 Submitted by: pav Tested on: pointyhat exp-run END