Closes #569 (closed)
Pipeline #4865 passed
Pipeline passed for f9c35211 on 569-ive-opening-function-type-properties-crashes 3 years ago
Merge details
Closed #569 (closed)
Pipeline #4866 passed
Pipeline passed for f9c35211 on master 3 years ago
changed milestone to %DVE_06
added Bug Critical Doing IVE labels
enabled an automatic merge when the pipeline for f9c35211 succeeds
merged