(In reply to Glenn Kennard from comment #1) > Should be fixed in git master by commit a83022 Should we close this bug then?