chiark / gitweb /
machine: fix -Wmaybe-uninitialized warning