-
Notifications
You must be signed in to change notification settings - Fork 18
No labels!
There aren’t any labels for this repository quite yet.
44 labels
closed: already resolved
closed: already resolved
The issue has been resolved by an earlier modification or one slated for implementation
impact: major
impact: major
Non-backward compatible (changes inferences; e.g., adding a restriction, domain, range)
impact: minor
impact: minor
New, backward-compatible functionality (does not change inferences; e.g., adding a term)
impact: patch
impact: patch
No new functionality or changes in human-readable semantics (e.g,. fixing a typo in an annotation)
status: deferred to major release
status: deferred to major release
Involves a major change so deferred till next major release. An implementation may be specified.
status: deferred
status: deferred
Deferred to a later release for reasons other than it is a major change
status: fast track
status: fast track
A low impact change for which a PR can be submitted without group discussion
status: implementation specified
status: implementation specified
Implementation has been specified. A developer should be assigned.