diff options
| author | David Mehren | 2020-12-02 15:52:23 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-02 15:52:23 +0100 |
| commit | df0482ea689a97e62efe394203dab8778ff28a07 (patch) | |
| tree | 3fe638eb3a8dfe8e30102bc012436bd835b55712 /lib/ot/editor-socketio-server.js | |
| parent | 0e8e2132561b6b2e551257c06461b399b390095b (diff) | |
| parent | eb727810b5a7f08dd9e5d9cf7a90d8c17600e19f (diff) | |
Merge pull request #614 from hedgedoc/update-pr-template-labels
Update issue templates to use the new labels
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions