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
merged 2 commits into from
Nov 28, 2017
Merged

fix CI; remove company from role description #2

merged 2 commits into from
Nov 28, 2017

Conversation

paulfantom
Copy link
Member

No description provided.

@paulfantom paulfantom self-assigned this Nov 28, 2017
@paulfantom paulfantom merged commit 1f51c5a into master Nov 28, 2017
@paulfantom paulfantom deleted the ci branch November 28, 2017 23:52
@lock
Copy link

lock bot commented Mar 25, 2019

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock bot locked and limited conversation to collaborators Mar 25, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants