-
JINMEI Tatuya authored
This should be more efficient than expensive name comparison. This is a small (unrelated) optimization, but hopefully it's okay.
64611b96
This should be more efficient than expensive name comparison. This is a small (unrelated) optimization, but hopefully it's okay.