search

dolthub / dolthub-issues

Issues for dolthub.com
https://dolthub.com
4 stars 1 forks source link

searching pull requests should not be case sensitive #465

Closed liuliu-dev closed 1 year ago

liuliu-dev commented 1 year ago

image