You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
m_gather sets the gatherList option to false, and m_nogather sets it to true. They should be the other way round. I need to check if anything is depending on the current behaviour before fixing this.
The text was updated successfully, but these errors were encountered:
I think the reason they're that way round is that m_gather means "gather things as terms in one expression", and m_nogather means "store them separately, as items in a list".
m_gather
sets thegatherList
option tofalse
, andm_nogather
sets it totrue
. They should be the other way round. I need to check if anything is depending on the current behaviour before fixing this.The text was updated successfully, but these errors were encountered: