-
|
I don't understand how multiple multi-trigger are provided for a quantification. The type of the triggers tag is only |
Beta Was this translation helpful? Give feedback.
Answered by
Gbury
May 19, 2021
Replies: 1 comment 1 reply
-
|
You're right, it's a very unfortunate oversight of mine during the higher-order work. The trigger tag should indeed now be a |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
This should now be fixed in 49c958c |
Beta Was this translation helpful? Give feedback.
Answer selected by
Gbury
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
You're right, it's a very unfortunate oversight of mine during the higher-order work. The trigger tag should indeed now be a
term list listtag. I'll fix that asap.