On 25 February 2015 at 16:38, Peter Cock <p.j.a.cock@googlemail.com> wrote:

On Wed, Feb 25, 2015 at 3:34 PM, Roberto Alonso CIPF <ralonso@cipf.es> 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