On Wed, 26 Aug 2020 at 10:55, Philippe Mathieu-Daudé <f4...@amsat.org> wrote: >> What tree were you expecting these to go in via? Probably worth >> being specific about who you're pinging in this kind of case ;-) > > > Ok understood for the next time. In this case you are listed as > maintainer :)
Oh, so I am, I had forgotten that :-) Anyway, I'll take it via the arm tree. My point was really just that if you're asking for something to be done it's useful to specify who you're asking if it's not completely obvious, because otherwise everybody's liable to assume somebody else will be dealing with it... thanks -- PMM
