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

Make sure gui move param are int #642

Closed
wants to merge 1 commit into from

Conversation

matt32106
Copy link

/ could return float and some os, distros don't like it

/ could return float and some os, distros don't like it
@matt32106 matt32106 requested a review from micahflee as a code owner June 5, 2022 18:54
@niccokunzmann
Copy link

See also #599 #644

@lazytownfan
Copy link

This bug fix from Ubuntu's packaging is likely to resolve this in at least 1 week before this is acted upon here on GitHub.

@micahflee
Copy link
Collaborator

Fixed in 8c69da1

@micahflee micahflee closed this Dec 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
4 participants