727e7d8621
simultaneously. Remove "#' flag to match a style of the rest of file. PR: kern/85477 Submitted by: Oliver Fromme