Or not. Poking in git fast-import log shows that it's more similar to bug #219042 instead. Sorry for the noise.
Or not. Poking in git fast-import log shows that it's more similar to bug #219042 instead. Sorry for the noise.