Skip to content

Fixed warning about unneeded unsafe from #2361#2362

Merged
stevenengler merged 1 commit intoshadow:mainfrom
stevenengler:split-controller
Aug 18, 2022
Merged

Fixed warning about unneeded unsafe from #2361#2362
stevenengler merged 1 commit intoshadow:mainfrom
stevenengler:split-controller

Conversation

@stevenengler
Copy link
Copy Markdown
Contributor

When I fixed #2361 after the comments I didn't check code warnings before merging.

@stevenengler stevenengler added the Type: Bug Error or flaw producing unexpected results label Aug 18, 2022
@stevenengler stevenengler self-assigned this Aug 18, 2022
@github-actions github-actions bot added the Component: Main Composing the core Shadow executable label Aug 18, 2022
@stevenengler stevenengler enabled auto-merge August 18, 2022 17:56
@stevenengler stevenengler merged commit 3a802b5 into shadow:main Aug 18, 2022
@stevenengler stevenengler deleted the split-controller branch August 18, 2022 18:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Component: Main Composing the core Shadow executable Type: Bug Error or flaw producing unexpected results

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants