Closed dret closed 7 years ago
nope, these are two different abstracts. ;-)
On Apr 15, 2017, at 13:47, Alex Jordan notifications@github.com wrote:
Duplicate of #418?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.
Oh, whoops. I see now. I didn't look at the diff and just assumed you mistakenly sent two PRs :)
Thanks @dret
Duplicate of #418?