Commit 8b4e047e05ed0f7d83b37ec25e4fdeb734157477

Stefan Sperling 2020-11-15T12:08:45

fix gotweb build; should have been part of 8fa913ec