Skip to content
This repository was archived by the owner on Oct 14, 2020. It is now read-only.

Conversation

@J12934
Copy link
Member

@J12934 J12934 commented Jun 30, 2020

No description provided.

J12934 added 3 commits June 30, 2020 09:32
@J12934 J12934 added the enhancement New feature or request label Jun 30, 2020
@J12934 J12934 self-assigned this Jun 30, 2020
@Weltraumschaf Weltraumschaf merged commit dde6ed1 into master Jun 30, 2020
@J12934 J12934 deleted the update-scanner branch July 1, 2020 09:19
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants