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.

Reply via email to