Bump version to 1.7.2

Signed-off-by: David Mehren <git@herrmehren.de>
This commit is contained in:
David Mehren 2021-01-15 20:36:43 +01:00
parent 8af470634a
commit e9d4587344
No known key found for this signature in database
GPG key ID: 185982BA4C42B7C3
4 changed files with 12 additions and 3 deletions

View file

@ -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