PRs ready as https://github.com/Mudlet/Mudlet/pull/396 for this bug on release_30 branch {and https://github.com/Mudlet/Mudlet/pull/395 for the different issue for the development branch{.
PRs ready as https:/ /github. com/Mudlet/ Mudlet/ pull/396 for this bug on release_30 branch {and https:/ /github. com/Mudlet/ Mudlet/ pull/395 for the different issue for the development branch{.