]> git.arvados.org - arvados.git/history - services/api/db/migrate/20130626002829_add_is_active_to_users.rb
Merge branch 'master' into 2903-remove-pi-active-and-success
[arvados.git] / services / api / db / migrate / 20130626002829_add_is_active_to_users.rb
2013-06-26 Tom Cleggadd user#is_active flag