On Tue, Aug 14, 2018 at 02:01:30PM +0200, Andrej Shadura wrote:

> > Let me know if you like it, or if I broke something.
> "add tag role::program" button on the right (hints and checks) stopped
> working, with "add_tag is not defined" in the console log.

Thanks, good catch! I should have fixed it now.


Enrico

-- 
GPG key: 4096R/634F4BD1E7AD5568 2009-05-08 Enrico Zini <enr...@enricozini.org>

Attachment: signature.asc
Description: PGP signature

Reply via email to