Skip to content

Update 0.12 from master#3159

Merged
kritzcreek merged 4 commits into
0.12.0-devfrom
master
Nov 25, 2017
Merged

Update 0.12 from master#3159
kritzcreek merged 4 commits into
0.12.0-devfrom
master

Conversation

@kritzcreek

@kritzcreek kritzcreek commented Nov 24, 2017

Copy link
Copy Markdown
Member

With a merge this time as per @joneshf suggestion. Thanks!

Thimoteus and others added 4 commits November 14, 2017 18:27
@Thimoteus @paf31
correctly quote uppercased field labels which would otherwise remain …
15d7330 
…unquoted (#3148)
@hdgarrood
Update Glob library, fixes #3055 (#3156)
82a47da 
* Update Glob library, fixes #3055

Also update the Stackage snapshot so that we get the latest version of
Glob, which includes memory usage and performance fixes.

* Reduce timeout threshold to help avoid CI failures
@hdgarrood
Empty commit to fix Travis
6e19036
@kritzcreek
Merge branch '0.12.0-dev' into master
c19a792
@kritzcreek kritzcreek mentioned this pull request Nov 24, 2017
Closed
@paf31

paf31 commented Nov 25, 2017

Copy link
Copy Markdown
Contributor

👍 LGTM

@kritzcreek kritzcreek merged commit eb6e3f3 into 0.12.0-dev Nov 25, 2017
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.

4 participants

@kritzcreek @paf31 @Thimoteus @hdgarrood