version bump #8

Merged
willi.junga merged 1 commit from devel-wj into master 2020-05-31 00:10:43 +02:00
Owner
No description provided.
willi.junga closed this pull request 2020-05-31 00:10:43 +02:00
This repo is archived. You cannot comment on pull requests.
No reviewers
No milestone
No project
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: NB-Public/WolKal3000#8
No description provided.