Skip to content

Several site infrastructure updates

bones_was_here requested to merge bones_was_here/inf_updates into master

Fixes permanent local edits in the server's repo

Please see commit descriptions

Merge request reports