Merged as 641108c1ae992b43d683dd71db2ad41a56e1d8c0 -- I cleaned up some further style issues and squashed the commits down.
For future reference, the make check command is very good at pointing out style issues (of which there were still quite a few left in this patch) -- please run it in future on any other patches you want to PR.
Merged as 641108c1ae992b43d683dd71db2ad41a56e1d8c0 -- I cleaned up some further style issues and squashed the commits down.
For future reference, the
make checkcommand is very good at pointing out style issues (of which there were still quite a few left in this patch) -- please run it in future on any other patches you want to PR.