Opera Mini が微妙にバージョンアップして 4.2.14320 がリリースされていました。
Release note もみあたらず、何が変わったかも分かりませんが、ひとまず順調です。