Skip to content

fix citation#1888

Merged
ZedThree merged 2 commits intomasterfrom
dschwoerer-patch-1
Jan 16, 2020
Merged

fix citation#1888
ZedThree merged 2 commits intomasterfrom
dschwoerer-patch-1

Conversation

@dschwoerer
Copy link
Contributor

Should I merge the to commits into one?

@dschwoerer dschwoerer added the small-change Changes less than 100 lines - should be quick to review label Jan 16, 2020
@ZedThree
Copy link
Member

Nope, fine as is. Thanks!

@ZedThree ZedThree merged commit dafe8f0 into master Jan 16, 2020
@ZedThree ZedThree deleted the dschwoerer-patch-1 branch January 16, 2020 12:05
@ZedThree
Copy link
Member

Merged without running tests, as changes don't affect any of the tests

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

small-change Changes less than 100 lines - should be quick to review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants