@tsteur opened this Pull Request on September 16th 2020 Member

As suggested by a user. There shouldn't be a need to index it

@mattab commented on September 21st 2020 Member

LGTM

This Pull Request was closed on September 21st 2020
Powered by GitHub Issue Mirror