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

Fix: Use different name #33

Merged
merged 1 commit into from
Aug 22, 2019
Merged

Fix: Use different name #33

merged 1 commit into from
Aug 22, 2019

Conversation

localheinz
Copy link
Member

This PR

  • uses a different name

@localheinz localheinz added the bug label Aug 22, 2019
@localheinz localheinz self-assigned this Aug 22, 2019
@localheinz localheinz merged commit d89ffb5 into master Aug 22, 2019
@localheinz localheinz deleted the fix/name branch August 22, 2019 19:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant