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