gvvaughan/lua-stdlib — comment on commit 43ad2e6eb37a4c306bb7e9847eb207a1208be11b
File:  line 0
By rrthomas:

Anyway, pushed; thanks for your clear instructions!