After almost 4 years I think it's safe to remove tinyjsd, esp. when
the builtin developer tools are a recommended replacement.

Please remove tinyjsd from unstable.

Chris

Reply via email to