Closed Owen-CH-Leung closed 1 year ago
Just mentioning #755 to help keep track of fold
specializations.
I'm totally stumped why I can't merge this. The merge queue fails "due to a conflict with the base branch", but the UI also states that "this branch has no conflicts with the base branch" and that "merging can be performed automatically".
This PR is a continuation of the previous PR here