On 12/22/22 19:36, Mark Wielaard wrote: > |See also my other email. I think that addresses everything. Just merge those > and push please.|
Hi. Thank you Mark for help! I've just finished the patch and pushed that to master. Cheers, Martin
On 12/22/22 19:36, Mark Wielaard wrote: > |See also my other email. I think that addresses everything. Just merge those > and push please.|
Hi. Thank you Mark for help! I've just finished the patch and pushed that to master. Cheers, Martin