On 11/22/20 10:59 AM, Bernhard Voelker wrote:
selinux.c:257 has a superfluous semicolon after a jump label, and a strange indentation:
The semicolon is required by the C standard, which does not allow a label before a declaration. Emacs indented it that way.