Skip to content
This repository has been archived by the owner on May 31, 2023. It is now read-only.

fix CI; remove company from role description#2

Merged
paulfantom merged 2 commits intomasterfrom ciNov 28, 2017

Commits

Commits on Nov 28, 2017