After https://github.com/hedgedoc/container/pull/181 has been merged, we should now also use PG 13 in the example snippet. Signed-off-by: David Mehren <git@herrmehren.de>
After https://github.com/hedgedoc/container/pull/181 has been merged, we should now also use PG 13 in the example snippet. Signed-off-by: David Mehren <git@herrmehren.de>