High: PE: Bug PM7 - Ensure masters are always demoted before they are stopped
Mercurial revision: ee87f867860b54db65e698d38074d22d4f90ca33
Description
Description
Details
Details
- Provenance
Andrew Beekhof <andrew@beekhof.net> Authored on Mar 18 2008, 11:12 AM - Parents
- rP418c9c970288: Medium: PE: Ensure implies_left ordering constraints are always effective
- Branches
- Unknown
- Tags