Aryadev Chavali fe2218e182 (*)~general fixes, small scale ...

(notmuch)+junk tag
(Shell)~sdkman so it uses the current username

2022-07-12 18:53:18 +01:00

..

hooks

(*)~general fixes, small scale

2022-07-12 18:53:18 +01:00