Skip to content
This repository was archived by the owner on Nov 3, 2023. It is now read-only.

Resolve includes #25 #29

Merged
merged 5 commits into from
Feb 28, 2018
Merged

Resolve includes #25 #29

merged 5 commits into from
Feb 28, 2018

Conversation

sundermann
Copy link
Collaborator

No description provided.

Taken from Ubuntu 16.04 (Version: 3.18.9-1ubuntu3.3)
@Therzok
Copy link
Contributor

Therzok commented Feb 28, 2018

Not sure why jenkins hasn't reported anything. Merging.

@Therzok Therzok merged commit cb73dd2 into mono:master Feb 28, 2018
@sundermann sundermann deleted the resolve-includes branch February 28, 2018 08:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants