Started 6 mo 1 day ago
Took 19 min on research-jenkins-worker-07

Success Build #404 (Mar 24, 2019 4:29:06 PM)

Changes
  1. Remove obsolete `bin/delete_user.py` (commit: 543de852a9725f1e7cff54140563240e14b42839) (detail / githubweb)
  2. Finish pending merge so that we can fix `delete_user` (commit: 53522a6172ecb9d44583e14893083ce948c04df6) (detail / githubweb)

Started by an SCM change

Revision: 8b1c57094dc8d6fadc7561bcf2eec6c3f02049ca
  • refs/remotes/origin/master