j
k
j a
j l
On Fri Jun 10 17:43:11 2022 +0000, Matteo Bruni wrote:
If it's okay for you I can push that update, with two additional small patches tacked at the end.
Sure, thanks for taking care of that.
Back to the thread
Back to the list