Hi Jean-Francois,

Were you able to update to the next galaxy-dist and test?  This issue
should be resolved in 8771:ae446180fd11, which was added just after the
distribution you were using previously.

Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:

To search Galaxy mailing lists use the unified search at:

Reply via email to