Skip to content

Update scala211 to 2.11.7.#2143

Merged
eed3si9n merged 1 commit intosbt:0.13from
dwijnand:scala-2.11.7
Aug 13, 2015
Merged

Update scala211 to 2.11.7.#2143
eed3si9n merged 1 commit intosbt:0.13from
dwijnand:scala-2.11.7

Conversation

@dwijnand
Copy link
Member

@dwijnand dwijnand commented Aug 5, 2015

No description provided.

@typesafe-tools
Copy link

Can one of the admins verify this patch?

eed3si9n added a commit that referenced this pull request Aug 13, 2015
@eed3si9n eed3si9n merged commit b7c331b into sbt:0.13 Aug 13, 2015
@dwijnand dwijnand deleted the scala-2.11.7 branch August 13, 2015 08:12
adriaanm added a commit to adriaanm/sbt that referenced this pull request Dec 20, 2015
adriaanm added a commit to adriaanm/sbt that referenced this pull request Dec 21, 2015
jvican pushed a commit to scalacenter/sbt that referenced this pull request May 23, 2017
adpi2 pushed a commit to adpi2/sbt that referenced this pull request Oct 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants