Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Separate duplicated hosts from removed hosts in the hosts structure. #387

Merged
merged 1 commit into from
Aug 24, 2020

Conversation

jjnicola
Copy link
Member

Also add a function to access this variable directly.

Also add a function to access this variable directly.
@bjoernricks bjoernricks merged commit 9ae098b into greenbone:gvm-libs-20.08 Aug 24, 2020
@mattmundell
Copy link
Contributor

Thanks @bjoernricks. Had a look last night, but don't know this code so well.

@jjnicola jjnicola deleted the duplicated-hosts branch August 25, 2020 07:28
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants