Commit 199bae28 authored by Eric S. Raymond's avatar Eric S. Raymond

Fix lint glitches.

parent b3eb3aac
Pipeline #48440427 passed with stage
in 7 minutes and 6 seconds