Style

Here is an improvement to the runner_shift poor style. I changed the semantic of the array to better reflect what the array actually contains. As a bonus, the formatting script treats it correctly. Also it should have been a double and not a float.

While at it I also cleaned out the 'do_gsort()' function which is not used and won't be in the future.

Thanks, that looks much more obvious! Accepting.

Status changed to merged

mentioned in commit 78f0419b