Changeset: 754d484ed114 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/754d484ed114
Branch: Dec2023
Log Message:
Merge with Jun2023 branch.
diffs (12 lines):
diff --git a/documentation/source/manual_pages/monetdb.rst
b/documentation/source/manual_pages/monetdb.rst
--- a/documentation/source/manual_pages/monetdb.rst
+++ b/documentation/source/manual_pages/monetdb.rst
@@ -71,7 +71,7 @@ allows to do wildcard matches. For detai
maintenance mode. This allows the database administrator to perform
initialization steps before releasing it to users, unless the **-p**
argument is supplied. See also **monetdb lock**. The name of the
- database must match the expression [A-Za-z0-9_-]+.
+ database must match the expression [A-Za-z0-9\_-]+.
**-m**\ *pattern*
With the **-m** flag, instead of creating a database, a
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org
