Contributed by grey on from the subtle changes and improved documenation dept.
Ryan provided us with an additional description as follows:
With this change, if you do:
set optimization aggressive
and then later comment it out:
#set optimization aggressive
The timeouts go back to the defaults; the same applies for:
The same behaviour will come to 'set skip' as well soon.
(Comments are closed)