Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Clean up trailing whitespace (details)
  2. State that lower value of 'priority' means higher priority (details)
  3. Implement Gerd's restriction of where priority may be specified (details)
Commit e8a1b0efce53daca30e4958320ad2650f771c19f by Tidefelt Henrik
Clean up trailing whitespace
The file was modified RationaleMCP/0031/differences.md (diff)
Commit 3c0ce73eacff9c2a956b77abe2717fed4dd7b40c by Tidefelt Henrik
State that lower value of 'priority' means higher priority

It seems like a confusing way to define precedence, but this is how it was decided in the web meeting.
The file was modified RationaleMCP/0031/differences.md (diff)
Commit fff766bace92fa04910893adf77b04c72f0dfac6 by Tidefelt Henrik
Implement Gerd's restriction of where priority may be specified
The file was modified RationaleMCP/0031/differences.md (diff)