Labels for Issues

[henkvancann]

These are the extra labels (apart from the standard github.com issue labels) that Kor and I use for issues, also outside this repo and outside this username 'weboftrust'

#87671B on hold
#0052CC maintenance
#C7E665 study