sierraにアップしたついでにDP9.12からDP9.13したらエラくもっさりで鬱(´；ω；｀)
と思ってたらDP立ち上げたらフリーアップデートのダイアログ。
でも、9.13　→　9.13だって。ただその後にカッコつきの数列があって（72621）だって。

これ、どうなの？