v1.2 #3

Manually merged
jhodges merged 25 commits from develop into master 2019-09-07 08:53:26 +01:00
Owner
No description provided.
jhodges closed this pull request 2019-09-05 17:55:46 +01:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jhodges/GiteaBot#3
No description provided.