Skip to content

Chromium: New revision #587

Merged
merged 1 commit into from
Jan 24, 2018
Merged

Chromium: New revision #587

merged 1 commit into from
Jan 24, 2018

Conversation

david
Copy link
Collaborator

@david david commented Jan 24, 2018

fixup for the little wrapper

fixup for the little wrapper
@donald donald merged commit 4341665 into master Jan 24, 2018
@donald donald deleted the new-rev-chromium branch January 24, 2018 18:02
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants