git has me really confused right now, first requiring a merge, then not needing any merge. Anyway, add pull request #624 which was unintentinoally closed and then couldn't re-opened. Now it's been incorporated so is intentionally closed. Closes #624
100 KiB
100 KiB