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

Extend script_get_preference() to get the value by id. #470

Merged
merged 2 commits into from
Apr 3, 2020

Conversation

jjnicola
Copy link
Member

No description provided.

@jjnicola jjnicola force-pushed the get-pref-by-id branch 2 times, most recently from 92ba21a to 5df7141 Compare March 27, 2020 15:54
@ArnoStiefvater ArnoStiefvater added the work in progress This pull request should not be merged yet, more commits are expected label Apr 2, 2020
@jjnicola jjnicola removed the work in progress This pull request should not be merged yet, more commits are expected label Apr 3, 2020
@jjnicola jjnicola requested review from ArnoStiefvater and removed request for ArnoStiefvater April 3, 2020 07:23
@jjnicola jjnicola merged commit 3cb5dc1 into greenbone:master Apr 3, 2020
@jjnicola jjnicola deleted the get-pref-by-id branch April 3, 2020 07:57
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.

2 participants