Closed DanielGeerts closed 7 months ago
I suppose these changes were addressed by !189, right?
Git and I don't work well together, so yeah, duplicate commits are slipping into the pull requests. Sorry about that. But the changes to DefaultConfig.php are new!
I can make a new, "clean" pull request, if you want.
Oh, I see, the commits already magically made it in. This pull request is then redundant; I'll close it.
Update DefaultConfig with many newer Linux distributions.