Problem

-- After editing one of the checkboxes in the 'SSL Protocol Options' section of the Advanced (SSL) tab for a port and deploying, you find that the changes have not been saved.

Resolution

* There is a bug which causes those checkboxes not to persist if nothing outside that section is edited.  The work-around is to make another edit when you edit a checkbox in that section, like changing the list of ciphers or the SSL session cache size.  This will cause your changes to be saved and you can go back and undo that edit immediately afterwards.

This is fixed in 7.2.1.