Add the docs label to the Kosmos label set #33

Manually merged

raucao merged 2 commits from docs_label into master 2019-08-12 11:38:13 +00:00

Conversation 3 Commits 2 Files Changed 3 +3 -2

2 Commits

Author	SHA1	Message	Date
Greg	90cb219d79	Change the color for the docs label to ead746	2019-08-12 13:27:41 +02:00
Greg	9c36ebeb14	Add the docs label to the Kosmos label set	2019-08-09 16:06:01 +02:00