On Tue, 24 Oct 2023 11:29:04 +0200 Sascha Hauer <sha@xxxxxxxxxxxxxx> wrote: > Hi All, > > We finally have a release for October. I see the v2023.10.0 tag in the https://github.com/barebox/barebox repo but no such tag in the git://git.pengutronix.de/git/barebox.git repo. -- Best regards, Antony Pavlov
