Closed toolness closed 7 years ago
This fixes #83.
It also fixes #81. And it also fixes #80. (Both of these are just special cases of #83.)
To do:
This fixes #83.
It also fixes #81. And it also fixes #80. (Both of these are just special cases of #83.)
To do:
File a separate issue to turn duplicate IDs into errors (this PR turns them into warnings to make it quicker to get to #84).Filed as #87.