Re: [PATCH] devtools: ignore context lines in check-symbol-change.py

[Roman Khromenok]

Hello Thomas,

A gentle ping on this one. It only touches devtools and fixes
a false "removed from stable ABI" report, so it might still fit
into 26.11.

Thanks,
Roman