Re: [galaxy-dev] error in 2013_08_12 DevNewsBriefs

2013-09-25 Thread Nicola Soranzo
Il 2013-09-23 20:43 Curtis Hendrickson (Campus) ha scritto: Dear Galaxy Team I was upgrading our servers with the 8/12 release, and going over the DevNotes [1]. I noted item Pull Requets Merged #5: SAMtools indexes #188 [2]. But the file created by the pull request didn't seem to exist.

[galaxy-dev] error in 2013_08_12 DevNewsBriefs

2013-09-23 Thread Curtis Hendrickson (Campus)
Dear Galaxy Team I was upgrading our servers with the 8/12 release, and going over the DevNoteshttp://wiki.galaxyproject.org/DevNewsBriefs/2013_08_12. I noted item Pull Requets Merged #5: SAMtools indexes #188http://wiki.galaxyproject.org/DevNewsBriefs/2013_08_12#Pull_Requests_Merged. But the