Skip to content

Conversation

@Philippus
Copy link
Member

No description provided.

@SethTisue
Copy link
Member

@jvican Drone is stuck, can you kick it?

@jvican
Copy link
Member

jvican commented Oct 24, 2018

Done, thanks for the ping. I restarted the servers so it's likely that the GH hook didn't see the failure of the CI run.

@smarter
Copy link
Member

smarter commented Oct 24, 2018

@SethTisue Maybe updating this documentation page should be added to the release checklist ?

@Philippus Philippus requested a review from SethTisue November 3, 2018 18:25
@Philippus
Copy link
Member Author

sorry to bother you @SethTisue , but let's merge this :)

@SethTisue
Copy link
Member

Maybe updating this documentation page should be added to the release checklist ?

done, scala/scala-dev@b11cd2e

@SethTisue SethTisue merged commit 9591ae3 into scala:master Nov 15, 2018
@Philippus Philippus deleted the add-scala-2.12.7 branch November 15, 2018 19:20
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.

4 participants