[stable20] [stable20.1] Abort php test server on ctrl+c#4761
Merged
nickvergessen merged 1 commit intostable20from Dec 15, 2020
Merged
[stable20] [stable20.1] Abort php test server on ctrl+c#4761nickvergessen merged 1 commit intostable20from
nickvergessen merged 1 commit intostable20from
Commits
Commits on Dec 14, 2020
- authored andcommitted
![backportbot[bot]](https://avatars.githubusercontent.com/in/60201?v=4&size=32){kind=avatar}