Dear Galaxy Team

I was upgrading our servers with the 8/12 release, and going over the DevNotes.

I noted item “Pull Requets Merged #5: SAMtools indexes #188”.

But the file created by the pull request didn’t seem to exist.

After looking in bitbucket at the history, it looks like the pull request was backed out before the release.

Have I correctly understood the situation?

Regards,

Curtis