tree c3ab03207e0f38b1b25a9da760cdb87b0ff55bd7
parent f9b90b9a9ab97154ed51bedfe7a80e60c59e92bf
author Andy Bavier <acb@cs.princeton.edu> 1461871572 -0400
committer Andy Bavier <acb@cs.princeton.edu> 1461871572 -0400

Re-apply change of sshUser to ubuntu