Skip to content
This repository has been archived by the owner on Dec 1, 2024. It is now read-only.

Apply common project tweaks (round 2) #582

Merged
merged 10 commits into from
Jan 7, 2019
Merged
Labels
maintenance General maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants