Hacker News new | ask | show | jobs
by wglb 4288 days ago
I patched mine with a apt-get update sequence. It fixed the bug (first fix, not yet the second), and I didn't have to take the server down. Everything stayed up.