On Wed, Feb 25, 2015 at 3:34 PM, Roberto Alonso CIPF <[email protected]> wrote: > Perfect, Galaxy will also need to add the function that was deleted by > merge, in galaxy/datatypes/sequence.py
Yes - if you want to do a pull request with that, please go ahead. Otherwise I hope to do it later this week... Your egrep fix has been applied to the main repository now: https://github.com/galaxyproject/galaxy/pull/4 Peter ___________________________________________________________ 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: https://lists.galaxyproject.org/ To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/mailinglists/
