松澤です。 > とりあえずバグ報告いたしました。 > https://bugzilla.gnome.org/show_bug.cgi?id=637513 えー、速攻でFixされました。 http://git.gnome.org/browse/jhbuild/commit/?id=32e3126e7bbf653941d15b22dbf138c558aa8dd4 ご指摘いただいたOKANOさん、査読してくださった皆さん、ありがとうございました。 -- Jiro Matsuzawa GPG Key ID: 0xECC442E9 GPG Key Fingerprint: E086 C14A 869F BB0E 3541 19EB E370 B08B ECC4 42E9