Fixed
Details
Assignee
AllenSuAllenSuReporter
AllenSuAllenSuComponents
Priority
majorTime Needed
WeeksFix versions
Details
Details
Assignee
AllenSu
AllenSuReporter
AllenSu
AllenSuComponents
Priority
Time Needed
Weeks
Fix versions
Created July 29, 2022 at 5:57 AM
Updated March 21, 2023 at 10:14 PM
Resolved March 21, 2023 at 10:14 PM
Yes, as discussed in the 2022-05-26 team meeting.
Note that before merging, we will need to finish the ongoing licensing discussion. However, this should not block making a pull request and getting it ready.