Pull requests https://github.com/Mudlet/Mudlet/pull/378 {release_30} and https://github.com/Mudlet/Mudlet/pull/379 {development} should close off this issue.
Pull requests https:/ /github. com/Mudlet/ Mudlet/ pull/378 {release_30} and https:/ /github. com/Mudlet/ Mudlet/ pull/379 {development} should close off this issue.