Thanks! You can merge and close the related issue.
As a side note, @kamailio-dev is a bot account, usually no human behind it to do a review, so I removed the review request for it.
oops didn't know that! should there be a "dev group" we can assign reviews to?