Please ignore the previous comment, I did not copy around the right library. The fix does solve the issue, and the code seems right to me.
« Back to merge proposal
Please ignore the previous comment, I did not copy around the right library. The fix does solve the issue, and the code seems right to me.