Skip to content
This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Web: Clean up option merging, better default for manifest. #479

Merged
merged 1 commit into from
Nov 21, 2017

Conversation

timkelty
Copy link
Contributor

No description provided.

Copy link
Member

@eliperelman eliperelman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Development

Successfully merging this pull request may close these issues.

2 participants