>> * Simplify a message construction in a Python script rule >> for the semantic patch language. > > The benefit is what? The avoidance to store the shown string in the extra Python variable “msg”. >> * Delete also a duplicate space character then. I find the proposed wording a bit nicer, don't you? Regards, Markus
