148 + # Hack: We replace $arg with _%, but this won't match a partial 149 + # "$args" string
the string is "$arg"
Note that this still needs another reviewer since Stefano is a part author of the branch.
« Back to merge proposal
148 + # Hack: We replace $arg with _%, but this won't match a partial
149 + # "$args" string
the string is "$arg"
Note that this still needs another reviewer since Stefano is a part author of the branch.