GitHub glitched? This line is compiled.
GitHub glitched? This line is compiled.

Running a batch build shows "4 up-to-date", implying this line is
already compiled. I don't know why this wasn't in the previous commit,
which contained this file.

JimViebke/IslandMUD,JimViebke/IslandMUD,JimViebke/IslandMUD,JimViebke/IslandMUD