Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Propagate haddock provider through protobuff toolchain #934

Merged
merged 1 commit into from
Jun 10, 2019

Conversation

guibou
Copy link
Contributor

@guibou guibou commented Jun 10, 2019

Similar to #928, HaddockInfo is now correctly propagated through protobuff rules.

@guibou guibou requested review from mboes and aherrmann June 10, 2019 16:45
@guibou
Copy link
Contributor Author

guibou commented Jun 10, 2019

Note: it may be tempting to share this with the code in #928 but each line have subtles differences.

@mboes mboes added the merge-queue merge on green CI label Jun 10, 2019
@mboes
Copy link
Member

mboes commented Jun 10, 2019

Great stuff! Haddock woes seem to be finally behind us.

@mergify mergify bot merged commit fdbd640 into master Jun 10, 2019
@mergify mergify bot deleted the haddock_protobuff branch June 10, 2019 17:09
@mergify mergify bot removed the merge-queue merge on green CI label Jun 10, 2019
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.

2 participants