9 Jan
2023
9 Jan
'23
1:59 p.m.
If anything, I think the variable should be an element to begin with (this would move the cast from get_element to GetBody, and get rid of this cast), but I don't think it's worth it as a change. Depends how Jacek feels.
Yes, I think it would be better to change variable type. -- https://gitlab.winehq.org/wine/wine/-/merge_requests/1918#note_20568