If we used regexps for %skip, %skip-pre or %skip-post we would previously compute unique identifiers in a way which clashed with general regexp interning elsewhere^1.
With this patch we now pick a unique stem for %skip*-related regexps so they do not clash anymore.
If we used regexps for
%skip,%skip-preor%skip-postwe would previously compute unique identifiers in a way which clashed with general regexp interning elsewhere^1.With this patch we now pick a unique stem for
%skip*-related regexps so they do not clash anymore.Closes #1777.