This repository was archived by the owner on Aug 29, 2025. It is now read-only.
Issue 545 - Case (in)sensitive filtering#893
Merged
Merged
Commits
Commits on Apr 27, 2021
- committed
Marc-André Rivet
Commits on Apr 28, 2021
- committed
Marc-André Rivet
Commits on Apr 29, 2021
- committed
Marc-André Rivet - committed
Marc-André Rivet
Commits on Apr 30, 2021
- committed
Marc-André Rivet - committed
Marc-André Rivet - committed
Marc-André Rivet - committed
Marc-André Rivet
Commits on May 1, 2021
- committed
Marc-André Rivet
Commits on May 2, 2021
- committed
Marc-André Rivet
Commits on May 7, 2021
- committed
Marc-André Rivet - committed
Marc-André Rivet - committed
Marc-André Rivet - committed
Marc-André Rivet
Commits on May 11, 2021
- committed
Marc-André Rivet - committed
Marc-André Rivet - committed
Marc-André Rivet