Re: Ping Re: [PATCH] contrib: add git gcc-style alias

2023-12-20 Thread Jason Merrill
On 12/20/23 02:39, Richard Biener wrote: On Tue, Dec 19, 2023 at 6:41 PM Jason Merrill wrote: On 12/11/23 22:00, Jason Merrill wrote: OK for trunk? Ping. CCing Alex because this could plausibly be considered build machinery, and he's had useful feedback on my sh code before. OK in case A

Re: Ping Re: [PATCH] contrib: add git gcc-style alias

2023-12-20 Thread Alexandre Oliva
On Dec 19, 2023, Jason Merrill wrote: > On 12/11/23 22:00, Jason Merrill wrote: >> OK for trunk? > Ping. CCing Alex because this could plausibly be considered build > machinery, and he's had useful feedback on my sh code before. LGTM, thanks! -- Alexandre Oliva, happy hackerhttps

Re: Ping Re: [PATCH] contrib: add git gcc-style alias

2023-12-19 Thread Richard Biener
On Tue, Dec 19, 2023 at 6:41 PM Jason Merrill wrote: > > On 12/11/23 22:00, Jason Merrill wrote: > > OK for trunk? > > Ping. CCing Alex because this could plausibly be considered build > machinery, and he's had useful feedback on my sh code before. OK in case Alex doesn't have any comments. Btw