Merge branch '14-names-reorg' into 15-task-merging
Merge branch '14-misc-cleanup' into 15-task-merging
Merge branch '14-names-reorg' into 15-task-merging
Merge branch '14-names-reorg' into 15-task-merging
Merge branch '14-names-reorg' into 15-task-merging
Merge branch '14-names-reorg' into 15-task-merging
improve comments in merged-ops.c
split big switch into several procedures
Merge branch '15-task-merging' into 16