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(a)redhat.com>
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.