On Tue, Dec 21, 2021 at 01:35:21 -0800, Andrea Bolognani wrote: > On Tue, Dec 21, 2021 at 10:09:17AM +0100, Michal Prívozník wrote: > > On 12/20/21 19:45, Andrea Bolognani wrote: > > > Any further thoughts? I'd like to get this merged, be it in one shape > > > or another :) > > > > I'd say it's okay. It's just a bunch of pictures. > > > > Reviewed-by: Michal Privoznik <mprivozn@xxxxxxxxxx> > > Thanks! I'll give Peter some time to object before pushing :) Well, I'd prefer if the image files don't clutter the main docs directory, because it's already too many files in there. Since it's already a mess, I don't really have too much ground to stand on. I'll try to de-messify it once it irritates me enough, so go ahead regardless of the approach you choose.
