Hi all,

I am upgrading to the most recent galaxy-dist 720455407d1c.
First time run.sh shows following errors as in attachment.
It seems when I use 'manage_db.sh upgrade' it doesn't create necessary tables for these tools.
Wonder if these are known issues?

Thanks