Closed srswinde closed 4 years ago
Yes. Feel free.
FYI I couldn't delete it from the desktop due to some github bug on Desktop. It would say "There is an open pull request cannot delete". https://github.com/desktop/desktop/issues/3615
So I had to delete it from the command line. 😈
Hey @srswinde! Now that this is merged into master, can we delete this branch?