Thanks, Kevin. Knowing when the updates are actually going out adds important context to this discussion.

On Wed, Jan 17, 2018 at 7:30 AM, Kevin Kofler <[email protected]> wrote:
I don't see how this is helpful.

Kevin has a point here. Clearly what we have now is, in practice, not working as intended.

Michael
_______________________________________________
devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to