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.

Sign up for GitHub

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

Jump to bottom

fix: name mismatch in default settings file #11

Merged

rossctaylor merged 1 commit into master from fix/issue-10-fixRosTime-in-settings

Dec 17, 2020

Contributor

rossctaylor commented Dec 17, 2020

fixed the name mismatch in the settings


          fix: name mismatch in default settings file

c545566

rossctaylor linked an issue

that may be closed by this pull request

useRosTime in settings/client.xml doesn't work #10

Closed

rossctaylor merged commit d0faad7 into master

rossctaylor deleted the fix/issue-10-fixRosTime-in-settings branch

December 17, 2020 16:45

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet