Howto: PHP 7.2 & 7.3 on Debian stretch/9 - using phpswitcher 4.0.3 christerh Sep 13th 2019 I am also looking forward to the updated version. Keep up the good work!
