Notice to GitKraken users: A vulnerability has been found in the SSH key generation of GitKraken versions 7.6.0 to 8.0.0 (https://www.gitkraken.com/blog/weak-ssh-key-fix). If you use GitKraken and have generated a SSH key using one of these versions, please remove it both from your local workstation and from your LRZ GitLab profile.

21.10.2021, 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit f3ed868f authored by eckhart's avatar eckhart
Browse files

Merge remote-tracking branch 'origin/development' into development

parents fd6fd247 4b698cec
......@@ -1190,7 +1190,7 @@ class Option(UnaryOperator):
with no content and does not move forward in the text.
If the child-parser did match, ``Option`` returns the a node
with the node returnd by the child-parser as its single
with the node returned by the child-parser as its single
child and the text at the position where the child-parser
left it.
......
......@@ -103,6 +103,8 @@ def unit_from_configfile(config_filename):
Returns:
A dictionary representing the unit tests.
"""
# TODO: issue a warning if the same match:xxx or fail:xxx block appears more than once
def eat_comments(txt, pos):
m = RX_COMMENT.match(txt, pos)
while m:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment