Closed snomos closed 4 months ago
What a lousy bug report by me - no data to reproduce and test on. Shame on you, @snomos
Is this https://github.com/divvun/divvun-gramcheck-web/issues/18 which was in the editor plugins?
Might be. We'll see soon, as a fix to that one is to be released soon.
Closing this one, as there is no way to fix a problem that isn't properly described and thus not reproducible.
Cf https://github.com/divvun/divvun-gramcheck-web/issues/18
This also be related to the discussion in https://github.com/divvun/libdivvun/issues/33.