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

Fix: Use old name #34

Merged
merged 1 commit into from
Aug 22, 2019
Merged

Fix: Use old name #34

merged 1 commit into from
Aug 22, 2019

Conversation

localheinz
Copy link
Member

This PR

  • switches back to using the old name

@localheinz localheinz added the bug label Aug 22, 2019
@localheinz localheinz self-assigned this Aug 22, 2019
@localheinz localheinz merged commit 01c2562 into master Aug 22, 2019
@localheinz localheinz deleted the fix/name branch August 22, 2019 19:34
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