Thanks for the patch, I've applied it.

If you have a github ID, please tell me what it is -- I can add you as a
committer to the book, so that you can apply such fixes directly in future.

Cheers,
Moritz

Reply via email to