20 Jun
2022
20 Jun
'22
5:50 p.m.
On 6/20/22 11:03, DavidCurtiss (@DavidCurtiss) wrote:
On Thu Jun 9 18:18:23 2022 +0000, **** wrote:
Zebediah Figura replied on the mailing list: ``` Can you please make this a single, self-contained commit, instead of fixing it up with a separate commit? We don't squash anything when merging, and we want to have a sensible commit history. ``` Zebediah, since you have reviewed this, can you also Approve it? How do I get this (or any) change moved forward?
Sorry, it seems the mailing list bridge didn't notice that a new version had been pushed, so I was unaware.