\begingroup \catcode`\-=12 \catcode`\/=12 \catcode`\.=12 \catcode`\:=12 \catcode`\+=12 \catcode`\-=12 \gdef\pgfrevision{3.1.2} \gdef\pgfversion{3.1.2} \gdef\pgfversiondatetime{2019-04-04 18:08:08 +0200} \gdef\pgfrevisiondatetime{2019-04-04 18:08:08 +0200} \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