Merge the master branch into Greg's branch #233

Merged
greg6775 merged 15 commits from master into greg-dev 2019-12-22 11:11:20 +01:00
greg6775 commented 2019-12-22 11:11:18 +01:00 (Migrated from github.com)

Pull Request created by Skidder#6775

Pull Request created by Skidder#6775
Schlauer-Hax (Migrated from github.com) reviewed 2019-12-22 11:11:18 +01:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
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: greg6775/Hadder#233
No description provided.