Comment 15 for bug 2031192

Thanks for your clarification Lucas, for now it's too much effort to change the repo pulls, but good to note for the workaround. Looking forward to the fix.