Closed trws closed 1 year ago
I don't think there is anything major or contentious here. If everyone is ok with it, merge it and let me know, we can go ahead as far as I'm concerned. Do not have edits from Wu here, so there may be more from there but i'm not sure.
Superseded by #98.
tilsche
commented
1 year ago
I don't think there is anything major or contentious here. If everyone is ok with it, merge it and let me know, we can go ahead as far as I'm concerned. Do not have edits from Wu here, so there may be more from there but i'm not sure.