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

add company to community #3182

Closed
wants to merge 1 commit into from
Closed

add company to community #3182

wants to merge 1 commit into from

Conversation

zzvara
Copy link

@zzvara zzvara commented Jul 9, 2020

No description provided.

@dholbach
Copy link
Member

dholbach commented Aug 7, 2020

I took the liberty of applying your change in #3234 (and resort and reflow the table).

@dholbach
Copy link
Member

dholbach commented Aug 7, 2020

And thanks for the original PR, @zzvara

stefanprodan added a commit that referenced this pull request Aug 17, 2020
squaremo pushed a commit that referenced this pull request Aug 19, 2020
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