[ET Trac] #2733: TwoPunctures contains globally visible symbols not prefixed by thorn name

[Steven R. Brandt]

#2733: TwoPunctures contains globally visible symbols not prefixed by thorn name

 Reporter: Roland Haas
   Status: resolved
Milestone: 
  Version: 
     Type: bug
 Priority: minor
Component: 

Changes (by Steven R. Brandt):

status: resolved (was new)

Comment (by Steven R. Brandt):

Fixed.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2733/twopunctures-contains-globally-visible
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.einsteintoolkit.org/pipermail/trac/attachments/20260516/e3ddf22a/attachment.htm>