Closed thomcc closed 6 years ago
One of them was unused, the other is probably clearer as EntidOrIdent (which AIUI it was originally)
One of them was unused, the other is probably clearer as EntidOrIdent (which AIUI it was originally)