Avoid error on duplicate definition of separatorTagAtom

Description

The same symbol is defined in two places (with the same definition, so unlikely to cause issues).

 

The following error was reported:

 

Conclusion

None

Activity

Show:
Fixed
Pinned fields
Click on the next to a field label to start pinning.

Details

Assignee

Reporter

Priority

Fix versions

Pull Request URL

Created December 17, 2020 at 1:03 PM
Updated December 17, 2020 at 2:00 PM
Resolved December 17, 2020 at 2:00 PM