chiark / gitweb /
[PATCH] splig LABEL and NUMBER into separate functions.