Hi Michael, Michael McConville wrote on Fri, Mar 11, 2016 at 05:18:52PM -0800:
> This is specified only irregularly, and people who don't know what a > void return type means are beyond help anyway. I don't feel strongly either way, but i certainly don't object. Usually shorter with the same information is better, and consistency is good, so you should probably do this. Yours, Ingo
