amano, thanks for the hint.
I've pushed that commit to the GNOME3 Staging PPA. Since this bug doesn't affect Ubuntu directly, I'm closing this bug now.
amano, thanks for the hint.
I've pushed that commit to the GNOME3 Staging PPA. Since this bug doesn't affect Ubuntu directly, I'm closing this bug now.