Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

Issue 3086 #3118

Merged
merged 2 commits into from
Jun 12, 2020
Merged

Issue 3086 #3118

merged 2 commits into from
Jun 12, 2020

Conversation

tkutz
Copy link
Contributor

@tkutz tkutz commented Jun 12, 2020

Cherry picked from branch issue_3086

terfloth added 2 commits June 12, 2020 11:55
(cherry picked from commit 793ae1b)
(cherry picked from commit d1e0d26)
@tkutz tkutz merged commit c601995 into 3.x_maintenance Jun 12, 2020
@tkutz tkutz deleted the issue_3086_3.x branch June 12, 2020 10:44
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants