The server running gerrit is on Ubuntu 14. I'd like to get it up to Ubuntu 18 before we all kick back into gear for the new year. Should be offline for a bout ~2 hours Sunday afternoon. I don't plan on updating gerrit, just the server it's running on. Andrew