Oh, yeah that's extremely similar to what I wrote.
It also looks pretty stalled. Is there anything I can help with to make
that PR a reality? Even something unrelated (if there's just too much
to do)?
> --
> You received this message because you are subscribed to a topic in the Google
> Groups "ninja-build" group.
> To unsubscribe from this topic, visit
https://groups.google.com/d/topic/
> ninja-build/djwhkEQqam0/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to
>
ninja-build...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/
> ninja-build/a11f96e1-5d29-4af8-826b-a7c5a41c5050n%
40googlegroups.com.