Clean prefixes #498

Closed

Labels

Milestone

opened

on Aug 17, 2017

The main part of the job has been done in 363e9f6. We should use unstable (with and without prefix) and proprietary (with prefix) instead of prefixed and unprefixed.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

v0.41

Relationships

None yet

Development

No branches or pull requests