On 30/11/2020 10:21, Amit Langote wrote:
I noticed a couple of comments that were obsoleted by commit
578b229718 which forgot to remove them.  Attached fixes that.

Applied, thanks!

- Heikki


Reply via email to