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

Description:

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.

Review

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