commit | 6768e00309a3384e9af947f1d8a8e87c4daaa70e | [log] [tgz] |
---|---|---|
author | Cedric Beust <cedric@beust.com> | Thu Jul 30 12:41:04 2015 -0700 |
committer | Cedric Beust <cedric@beust.com> | Thu Jul 30 12:41:04 2015 -0700 |
tree | bdec501883fbdb03b5a6d4716b1bb266e8219674 | |
parent | 02f4ed49ee30545dfaa5f707c2b7fe7100b000f6 [diff] | |
parent | 8dbe3c334b83d25164a414bfed6b4a4438fda78c [diff] |
Merge pull request #771 from juherr/issue-764 Fix #764 : Wrong priority displayed