・Fixed tab settings not being saved. [ajpalkovic]
[URL]

という訳で、例のバグが直りました。 毎朝のイライラが減って良い感じです。

あと

・Fixed some bugs that could cause crashes when redoing. [ajpalkovic] 
[URL]

履歴が分岐している所で、redoするとかなりの確率でクラッシュしていた問題も解決したそうです。