commit | 2b1bc4b6ea0fd5a01ae36b024c594884027ca931 | [log] [tgz] |
---|---|---|
author | Nico Weber <nicolasweber@gmx.de> | Thu Apr 28 10:45:08 2016 -0400 |
committer | Nico Weber <nicolasweber@gmx.de> | Thu Apr 28 10:45:08 2016 -0400 |
tree | 8a5d77642800349ba98c45b437d49737a52d47b8 | |
parent | 17a7d941fcb77b9e936dbc71d9a53ee4c96c3502 [diff] | |
parent | 24694d95f5ddc7fe86bdcf4da9d34aef0fd6033d [diff] |
Merge pull request #1144 from nico/statustweaks Update %p to use finished edges after #1143.