Lukas Bulwahn
authored
In the commit 21f7799e, I manually modified the patch, but it slipped my eyes to adjust the line information in the patch accordingly. This commit corrects the line information, so that the patch can now be applied correctly.