Apply server-initiated editor invalidation

Released Feb 21, 2024 - 14:51

Notes

  • Bug fixes and improvements

Created by

David Bosschaert

Scope

1 file

Approved by

Karl Pauls

Released by

Karl Pauls