[uml-devel] [PATCH v4 00/12] introduce skip_spaces(), reducing code size plus some clean-ups


View entire thread