Skip to content

Conversation

@ntindle
Copy link
Member

@ntindle ntindle commented Aug 17, 2021

UI naming fix. Doesn't affect anything but the name that's reported in the PR

Copy link
Member

@leios leios left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Quick fix, happy to merge!

@leios leios merged commit 8d705fb into algorithm-archivists:master Aug 17, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants