Skip to content

Conversation

@johschmitz
Copy link
Contributor

@johschmitz johschmitz commented Aug 20, 2023

Possible fix for #172.

@johschmitz johschmitz force-pushed the johschmitz-junction_lane_linking branch from d3c9801 to 51672ff Compare August 20, 2023 20:57
@johschmitz
Copy link
Contributor Author

@mander76 would be nice if you could review and merge this. I hope this breaks nothing else.

@johschmitz johschmitz force-pushed the johschmitz-junction_lane_linking branch from 51672ff to 035c5c7 Compare August 21, 2023 20:25
@mander76
Copy link
Collaborator

I'll have a look, have been completely offline for the past week :P

@atingber atingber added the question Further information is requested label May 21, 2024
@atingber
Copy link
Collaborator

@mander76 did you have a look on this?

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

Labels

question Further information is requested

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants