Closed hjmallon closed 3 years ago
@zbeekman Not sure I understand you comment. Maybe you posted it to the wrong Issue?
Yup, my mistake
@hjmallon did you submit a PR of #194 already?
I have not. The change is here in my master branch (https://github.com/hjmallon/wdt/commit/ec6bbad26527c34f52edae4adcbb5ada0c2b8ad3), but it did not cherry-pick nicely back to master so I was going to wait for other commits to be merged.
I now have (https://github.com/facebook/wdt/pull/197)
@davide125 merged this pull request in facebook/wdt@0da7235b0f5f318f14102949e26a960e2c0475fd.
Proposed fix for #194