Skip to content

Fix updated file header#21049

Merged
OttoWinter merged 1 commit into
devfrom
OttoWinter-patch-1
Feb 13, 2019
Merged

Fix updated file header#21049
OttoWinter merged 1 commit into
devfrom
OttoWinter-patch-1

Conversation

@OttoWinter
Copy link
Copy Markdown
Member

Description:

See #21023 (comment)

CC: @fabaff

@ghost ghost assigned OttoWinter Feb 13, 2019
@ghost ghost added the in progress label Feb 13, 2019
@OttoWinter OttoWinter merged commit faeb629 into dev Feb 13, 2019
@ghost ghost removed the in progress label Feb 13, 2019
@delete-merged-branch delete-merged-branch Bot deleted the OttoWinter-patch-1 branch February 13, 2019 21:52
@balloob balloob mentioned this pull request Feb 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants