Github user jose-torres commented on the issue:
    Actually, now that I think about it, there's a lot of value in having that 
interface, both to make sure we don't accidentally leak across it and possibly 
allow debugging mode in the future. I'll add it.


To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to