30 Nov
2022
30 Nov
'22
11:26 p.m.
#2670: Refinement prolongation: All points must have been received
Reporter: Status: new Milestone: Version: ET_2022_05 Type: bug Priority: major Component: Carpet
Comment (by Roland Haas):
Very good. I also just noticed I quote the wrong time of day for the call. It is actually 9:00 Central Time that is 10:00 Eastern (US) time.
-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2670/refinement-prolong...