13.99.9

13.99.9 (2018-10-08)

Bug Fixes

• digest: don’t filter different digests as dupes (648f357)
• digest: fix PR table for all digest updates (61b7d3d)
• master issue: check branch.res first (00346ab)