-
Vadim Zeitlin authored
No changes, just rename the field for consistency with the other backends, all of which call it "names_" (if they have it).
9119ed82
No changes, just rename the field for consistency with the other backends, all of which call it "names_" (if they have it).