\begingroup \catcode`\-=12 \catcode`\/=12 \catcode`\.=12 \catcode`\:=12 \catcode`\+=12 \catcode`\-=12 \gdef\pgfrevision{3.1.7a} \gdef\pgfversion{3.1.7a} \gdef\pgfversiondatetime{2020-12-01 12:12:01 +0100} \gdef\pgfrevisiondatetime{2020-12-01 12:12:01 +0100} \gdef\pgf@glob@TMPa#1-#2-#3 #4\relax{#1/#2/#3} \xdef\pgfversiondate{\expandafter\pgf@glob@TMPa\pgfversiondatetime\relax} \xdef\pgfrevisiondate{\expandafter\pgf@glob@TMPa\pgfrevisiondatetime\relax} \endgroup