On Tue, 1 Jun 2021, Segher Boessenkool wrote: > We haven't had Sender: for a while now.
"a while now" was about four(?) hours when you sent that yesterday. :-) I know since I still had been using that and was looking for all my missing gcc-related mails yesterday afternoon. Thanks for spotting this and this change! Gerald
