Skip to content

Use NetVC::get_service#10003

Merged
maskit merged 1 commit intoapache:masterfrom
maskit:get_service_followup
Jul 12, 2023
Merged

Use NetVC::get_service#10003
maskit merged 1 commit intoapache:masterfrom
maskit:get_service_followup

Conversation

@maskit
Copy link
Copy Markdown
Member

@maskit maskit commented Jul 12, 2023

This is a follow-up on #9482. I missed one place on the previous PR.

$ git grep dynamic_cast | grep  Support | wc -l
       0

This is a follow-up on apache#9482. I missed one place on the previous PR.
@maskit maskit added the Cleanup label Jul 12, 2023
@maskit maskit added this to the 10.0.0 milestone Jul 12, 2023
@maskit maskit self-assigned this Jul 12, 2023
@maskit maskit merged commit 0d21c0f into apache:master Jul 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants