Skip to content

[d16-4] Bump mono 2019-08@52810372 - #7149

Closed
VincentDondain wants to merge 1 commit into
dotnet:d16-4from
VincentDondain:d16-4-mono-bump
Closed

[d16-4] Bump mono 2019-08@52810372#7149
VincentDondain wants to merge 1 commit into
dotnet:d16-4from
VincentDondain:d16-4-mono-bump

Conversation

@VincentDondain

Copy link
Copy Markdown
Contributor

@VincentDondain VincentDondain added the do-not-merge Do not merge this pull request label Oct 1, 2019
@VincentDondain

Copy link
Copy Markdown
Contributor Author

We need to wait for Xamarin.Android to have a similar PR before merging this.

@monojenkins

Copy link
Copy Markdown
Contributor

Build failure
Build failed or was aborted

🔥 Build failed 🔥

@dalexsoto

Copy link
Copy Markdown
Member

build

@VincentDondain

Copy link
Copy Markdown
Contributor Author

Nope we need other changes in the PR let me close and do a simple backport

@monojenkins

Copy link
Copy Markdown
Contributor

Build failure
Build failed or was aborted

🔥 Build failed 🔥

@VincentDondain
VincentDondain deleted the d16-4-mono-bump branch October 1, 2019 19:10
@VincentDondain

Copy link
Copy Markdown
Contributor Author

This is the right PR: #7150

@rolfbjarne rolfbjarne added the not-notes-worthy Ignore for release notes label Sep 14, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do-not-merge Do not merge this pull request not-notes-worthy Ignore for release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants