Hi Michael, On 2020-09-25 14:02, Michael Kerrisk (man-pages) wrote:
Hi Alex,I learned a lot of git today :):-}. Okay -- you can probably give me lessons!
:)
Okay -- I declare a sync-point: as far as I know, I have nothing outstanding from you. Let me know if I missed something. Cheers, Michael
Yes, everything is synced. Cheers, Alex.