Skip to content
This repository was archived by the owner on Jan 10, 2023. It is now read-only.

Fix #188 TypeError: ini_set() #189

Merged
sebastianbergmann merged 1 commit into from
Nov 22, 2020
Merged

Fix #188 TypeError: ini_set() #189

sebastianbergmann merged 1 commit into from
Nov 22, 2020

Conversation

@oallain
Copy link
Contributor

@oallain oallain commented Nov 22, 2020

Hello,

Implementation of the issue #188 proposition.

Regards

@sebastianbergmann sebastianbergmann merged commit 2f500e9 into sebastianbergmann:master Nov 22, 2020
@oallain
Copy link
Contributor Author

oallain commented Nov 22, 2020

Thanks, @sebastianbergmann :)

Have you planed to create a new tag ?

@oallain oallain deleted the fix-issue-188 branch November 22, 2020 17:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

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

@oallain @sebastianbergmann