Fix:
[ 1207501 ] Issue in grammar
We didn't define dotted_name in the pseudo-grammar in the reference
docs. Backport candidate.
diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex
index a285c4c..535ed95 100644
--- a/Doc/ref/ref7.tex
+++ b/Doc/ref/ref7.tex
@@ -323,6 +323,8 @@
{\token{decorator}+}
\production{decorator}
{"@" \token{dotted_name} ["(" [\token{argument_list} [","]] ")"] NEWLINE}
+ \production{dotted_name}
+ {\token{identifier} ("." \token{identifier})*}
\production{parameter_list}
{(\token{defparameter} ",")*}
\productioncont{(~~"*" \token{identifier} [, "**" \token{identifier}]}