Ok, pull request has been made. Since I got the development environment to build this time, I could also test that these changes work correctly. Went with the second, cleaner approach.
2 Likes
Ok, pull request has been made. Since I got the development environment to build this time, I could also test that these changes work correctly. Went with the second, cleaner approach.