I introduced user-defined tools in v0.9.31.

Is this bug still an issue?


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to