Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

mle: update to 1.5.0. #37361

Closed
wants to merge 1 commit into from
Closed

mle: update to 1.5.0. #37361

wants to merge 1 commit into from

Conversation

adsr
Copy link
Contributor

@adsr adsr commented May 30, 2022

Testing the changes

  • I tested the changes in this PR: NO

I don't have a void-linux setup to test presently. Summarizing the changes from the last version: Termbox dep is gone. Lua 5.4 instead of 5.3. Several new features and some bug fixes. In this release, make test will fail if locale codeset is not UTF-8. In that case, this patch will fix.

@paper42
Copy link
Member

paper42 commented Jun 1, 2022

marking as help-wanted for testing

@paper42 paper42 added the help wanted Extra attention is needed label Jun 1, 2022
@adsr
Copy link
Contributor Author

adsr commented Jun 1, 2022

Tagging @anjandev @Hoshpak who were on the initial commit 7f21d7a

@paper42 paper42 added needs-testing Testing a PR or reproducing an issue needed and removed help wanted Extra attention is needed labels Jun 10, 2022
@github-actions
Copy link

github-actions bot commented Sep 9, 2022

Pull Requests become stale 90 days after last activity and are closed 14 days after that. If this pull request is still relevant bump it or assign it.

@github-actions github-actions bot added the Stale label Sep 9, 2022
@adsr
Copy link
Contributor Author

adsr commented Sep 9, 2022

(Bumping per suggestion from github-actions)

@github-actions github-actions bot removed the Stale label Sep 10, 2022
@github-actions
Copy link

github-actions bot commented Dec 9, 2022

Pull Requests become stale 90 days after last activity and are closed 14 days after that. If this pull request is still relevant bump it or assign it.

@github-actions github-actions bot added the Stale label Dec 9, 2022
@github-actions github-actions bot closed this Dec 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-testing Testing a PR or reproducing an issue needed Stale
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants