Skip to content

SCENARIO: Concurrent editors of the same document should be aware of which blocs are being edited (see #251).#417

Draft
Dinalrn wants to merge 1 commit intomainfrom
fix-251
Draft

SCENARIO: Concurrent editors of the same document should be aware of which blocs are being edited (see #251).#417
Dinalrn wants to merge 1 commit intomainfrom
fix-251

Conversation

@Dinalrn
Copy link
Copy Markdown

@Dinalrn Dinalrn commented Apr 21, 2026

Co-authored-by:
Dina LOUARN dina.louarn@utt.fr
Nathan NICART nathan.nicart@utt.fr
Magdalena KHIAT magdalena.khiat@utt.fr

We, [FILL WITH FULL NAMES], hereby grant to Hyperglosae maintainers the right to publish our contribution under the terms of any licenses the Free Software Foundation classifies as Free Software Licenses.

…which blocs are being edited (see #251).

Co-authored-by:
Dina LOUARN  <dina.louarn@utt.fr>
Nathan NICART <nathan.nicart@utt.fr>
Magdalena KHIAT <magdalena.khiat@utt.fr>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Concurrent editors of the same document should be aware of which blocks has been edited

1 participant