In reply to Nikolay Timakov.

The "auto update" feature has a problem currently, and should be fixed by the end of this month -- then updates should flow again. In the meantime, you can still install the 7.12 software from an updated software depot (if you refresh your SAS software order).