On 19/10/2018 10:46, Thomas Huth wrote: >> > It's in a pull request already, so this is likely too late: But for the > next time, could you maybe rather use a "/* fall through */" comment > instead of a goto? That looks less ugly.
Wait, it's not ugly, it's wrong. The label is placed incorrectly. Paolo
