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

[jsk_maps] Update 610 map #1277

Closed
wants to merge 2 commits into from
Closed

Conversation

taichiH
Copy link

@taichiH taichiH commented Nov 9, 2019

I updated 610 map and add 610 keepout map.
These files may change frequently.

@k-okada
Copy link
Member

k-okada commented Nov 15, 2019

Could you show the image of the map.?

@taichiH
Copy link
Author

taichiH commented Nov 18, 2019

ok, here are the map image files.

eng8-6f-0 05

eng8-6f-0 05_keepout

@k-okada
Copy link
Member

k-okada commented Nov 28, 2023

@mqcmd196 do we really need this? how about merge #1360 instead of this?

@mqcmd196
Copy link
Member

mqcmd196 commented Nov 29, 2023

@iory @nakane11
What map do you use by default? origin/master , #1277, #1366 ?

@nakane11
Copy link
Member

Currently pr1012 uses develop/pr2 of knorth55 (#1366).
#1366 includes #1277, but the maps were changed by 0517573.
The same as #1360??

@mqcmd196
Copy link
Member

mqcmd196 commented Nov 30, 2023

@nakane11 Thank you.

@k-okada So we don't need this PR. Please merge #1360 and close this. I'm not authorized to close it

@k-okada k-okada closed this Nov 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants