On Mon, Feb 10, 2014 at 8:03 AM, Robin Gareus <robin@gareus.org> wrote:
There's no need to mix.

Thanks for the tip! That looks eminently useful.