Re-hello Sieghard. Maybe you will have more joy with GitLab ?
ideU is mirrored there too: https://gitlab.com/fredvs/ideU I dont know if filling a issue is allowed without register with GitLab, maybe. I dont want to convert you to git but if you have a account with Github, you may use that account for GitLab too. Fre;D
_______________________________________________ mseide-msegui-talk mailing list mseide-msegui-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mseide-msegui-talk