diff options
author | David Mehren | 2021-01-15 20:36:43 +0100 |
---|---|---|
committer | David Mehren | 2021-01-15 20:37:30 +0100 |
commit | e9d45873440f45d7c06e7ec043062f06b6a586a5 (patch) | |
tree | ccf9fc2bf9ca884f70de86fc88be5c32f148a10a /docs/content/dev | |
parent | 8af470634a3e4fe9ce087705744a02f5b5a59a6a (diff) |
Bump version to 1.7.2
Signed-off-by: David Mehren <git@herrmehren.de>
Diffstat (limited to '')
-rw-r--r-- | docs/content/dev/openapi.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/content/dev/openapi.yml b/docs/content/dev/openapi.yml index c5de475c..3ad0837e 100644 --- a/docs/content/dev/openapi.yml +++ b/docs/content/dev/openapi.yml @@ -3,7 +3,7 @@ openapi: 3.0.1 info: title: HedgeDoc description: HedgeDoc is an open source collaborative note editor. Several tasks of HedgeDoc can be automated through this API. - version: 1.7.1 + version: 1.7.2 contact: name: HedgeDoc on GitHub url: https://github.com/hedgedoc/hedgedoc |