All,

If I look at [1] it seems that all of our open PRs have actually been
merged in to the code base.  They likely didn't get closed due to rebasing
issues.

Post 1.7.1 I'd like to push a commit that closes all of these PRs, just to
keep everything clean.

WDYT?

John

Reply via email to