Closed th-we closed 2 years ago
The new messages are very useful, thank you...
But I just run into a strangeness when provoking the new messages... see #150 for more, since it doesn't seem to be highly related to this change.
@annplaksin could you please merge or close this? I'm not familiar with the test set, so you're probably better suited for this than me. :)
Little reminder for @annplaksin to merge or close this. 😉
The new messages are very useful, thank you...
But I just run into a strangeness when provoking the new messages... see #150 for more, since it doesn't seem to be highly related to this change.