2025-08-20T03:14:16  <matrix-o-o> <Firstyear (Firstyear)> crameleon (acidsys): Can't remember if I saw you reply, but yes to apparmor profiles in the main kani repo if you want to submit them :)
2025-08-20T06:26:18  <acidsys> Firstyear: thanks, I saw your reply :) but still need to work on it
2025-08-20T06:33:34  <matrix-o-o> <Firstyear (Firstyear)> No problem :)
2025-08-20T06:33:44  <matrix-o-o> <Firstyear (Firstyear)> acidsys: Where did you find that SSH public key of mine btw, that's a very old key ....
2025-08-20T06:34:10  <matrix-o-o> <Firstyear (Firstyear)> Ahh just saw your mail, I'll clean that up tomorrow.
2025-08-20T07:17:22  <acidsys> cool, not sure where I copied it from, probably from some repository
2025-08-20T17:33:01  *** ldevulder__ is now known as ldevulder
2025-08-20T21:20:43  *** teepee_ is now known as teepee