On Sat, Apr 7, 2018 at 2:36 PM, Ævar Arnfjörð Bjarmason <ava...@gmail.com> wrote: > Anyway, I see you've pushed a new version with DEVOPTS. I'll submit mine > on top of that once your new version lands (unless you want to try to > integrate it yourself).
Actually I think I'll just drop both EAGER_DEVELOPER and DEVOTPS. -- Duy
