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.

Sign up for GitHub

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

Jump to bottom

Fix commit #279

Closed
wants to merge 9 commits into from
Closed

Fix commit #279

wants to merge 9 commits into from

Conversation

dinosaure
Copy link
Member

Fix #276 and handle extra-fields.

@samoht
Copy link
Member

samoht commented Feb 26, 2018

Can you add some tests too?

@dinosaure
Copy link
Member Author

dinosaure commented Mar 1, 2018 •
edited
Loading

Hmmhmm, may be it's better to merge #280 before, clean this PR (delete the merge commit) and merge this PR. Otherwise, I put 2 kinds of commit. One with a single-line extra field and one other with the GPG public key of @hannesm from #276.

@dinosaure dinosaure mentioned this pull request Mar 1, 2018
Closed
dinosaure added 4 commits March 5, 2018 14:02
@dinosaure
Update constraint on Angstrom in opam file
d4c8a88
@dinosaure
Delete pin angstrom on appveyor and travis files
06e4c48
@dinosaure
Downgrade tcpip package to 3.3.1
39215b0 
This commit downgrade for a moment the tcpip package and waiting for a new update of tcpip which will fix linking.
@dinosaure
Fix git-mirage opam file
1d0f598
@dinosaure dinosaure mentioned this pull request Mar 5, 2018
Merged
@dinosaure
Copy link
Member Author

Bad history, see #282

@dinosaure dinosaure closed this Mar 5, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dinosaure @samoht