Hi Gaius,

Gaius Mulley <gaiusmod2@gmail.com> writes:

> yes certainly this is fine.  lgtm.  Thanks for spotting and the patch

Sure.  Will push to master and wait for a RM to weigh in on 13.

Thanks!
-- 
Arsen Arsenović