ここのところ蒸し暑くなってきたので、床屋で散髪してきた。おかげで、頭がすっきりした。これで、しばらくは快適に過ごせそうだ。
パッチが提出され、レビューが始まった。加えて、bug-org 1261576 : Scrollbar handle is not colored correctly when selected and dragged in gtk3というバグもあるようだ。