Thanks for letting me know. Looks like I will hold my horses until switching to “Github Issues” has taken place. And thanks again for opening a corresponding ticket.
This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.