Closed vanderhe closed 1 year ago
Very good idea! I am absolutely fine with this PR. Could you rebase and squash it, and then I'll merge.
Very good idea! I am absolutely fine with this PR. Could you rebase and squash it, and then I'll merge.
@aradi Thx, rebased on main and ready to go from my side. Shall I still squash the remaining two commits into one? Since they are dealing with two disjoint features.
Establishes two generalizations:
Builds upon #40, therefore ideally to be merged afterwards. Closes #45. Closes #46.