Hi Aaron,
I am just following up with a note that this has been fully resolved.
Please let us know if you find any more problems.
Thank you for using Galaxy.
Martin
On Wed, Aug 12, 2015 at 7:21 PM Aaron Petkau aaron.pet...@gmail.com wrote:
Heh, always something that's discovered after the
Hello Martin,
Yep, this is fully resolved for me. Thanks for following up, and for all
the hard work you and the rest of the team do.
Aaron
On Fri, Aug 21, 2015 at 9:55 AM, Martin Čech mar...@bx.psu.edu wrote:
Hi Aaron,
I am just following up with a note that this has been fully resolved.
Hi Aaron,
this is most probably connected with a bug that we discovered today in the
'reset metadata for all my repositories' feature. Unfortunately we
discovered it by running it on Main Tool Shed. We have an alternate (time
consuming) way of fixing individual repos (like I just did for the