Fwd: Options cannot be re-changed

[Carlo Strub]

Hi all,
There seems to be a strange bug going on since the recent fix (probably rev. 
320177) that lead to only display dialog if new options arise.

After installing a new port with options (e.g. www/elinks), I am allowed to choose
the options just fine. However, after a new "make config", I get "Options
unchanged". After "make rmconfig", I get "No user-specified options configured for
elinks-0.11.7_3"

The directory in /var/db/ports/www-elinks is empty.

This is on CURRENT. Any ideas?
CS