Skip to content

Update Firefox from 57.0 to 57.0.1 and allow users to set preferences #540

Merged
merged 1 commit into from
Dec 5, 2017

Conversation

david
Copy link
Collaborator

@david david commented Dec 4, 2017

@pmenzel
Copy link
Collaborator

pmenzel commented Dec 4, 2017

Thank you, but please split the commit into two. One updates the version, and the other changes the preferences.

@pmenzel
Copy link
Collaborator

pmenzel commented Dec 5, 2017

@david told me, he’ll do it next time.

@pmenzel pmenzel changed the title Firefox: Update from version 57.0 to 57.0.1 Update Firefox from 57.0 to 57.0.1 and allow users to set preferences Dec 5, 2017
@pmenzel pmenzel merged commit 55e21e5 into master Dec 5, 2017
@donald donald deleted the update-firefox branch December 11, 2017 15:48
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