[galaxy-commits] galaxy-dist commit 4f157f2c6fd9: Bug fix for history/view when history has no user.