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


If someone is used to write --filter="..." in phpunit then this will be more natural. I'm always writing --options="--filter=..." so far but now it can be used directly. Once merged will document this.


This Pull Request was closed on September 16th 2021
Powered by GitHub Issue Mirror