Closed yzoug closed 7 months ago
This issue has been marked 'stale' due to lack of recent activity. If there is no further activity, the issue will be closed in another 30 days. Thank you for your contribution!
Please read this blog post to see the reasons why I mark issues as stale.
This issue has been closed due to inactivity. If you feel this is in error, please reopen the issue or file a new issue with the relevant details.
The commit 73c526d073dfd277eba3d6897806a2c430e017d8 introduced the following bug, when passing
php_default_version_debian
as a float and not a string:You can bypass this by specifying your
php_default_version_debian
as a string:Should probably be fixed though. The way the variable is constructed makes it hard to do a simple fix (didn't look very much into it since the workaround works for me).