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/models/revision.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 'lib/models/revision.js')
0 files changed, 0 insertions, 0 deletions