Closed glyn closed 4 years ago
Should not say "missing end of filter".
See:
After recent updates, this no longer reproduces on any of the above examples.
Still seems to be a problem. e.g. with $[?()]. Re-opening.
$[?()]
Should not say "missing end of filter".
See: