|
| From: | Eli Zaretskii |
| Subject: | Re: Time to merge scratch/correct-warning-pos into master, perhaps? |
| Date: | Sat, 15 Jan 2022 20:24:36 +0200 |
> Date: Sat, 15 Jan 2022 18:15:17 +0000 > From: Alan Mackenzie <acm@muc.de> > > So, I would propose to merge the branch into master now. What do people > (in particular Eli) say about this? Fine with me if Lars agrees.
| [Prev in Thread] | Current Thread | [Next in Thread] |