0.42.5 not finding deprecated WebKitGTK JavaScript symbols
It looks like 0.42.5 broke somehow compiling against deprecated WebkitGTK JavaScript API, e.g.: https://gitlab.gnome.org/GNOME/geary/-/jobs/205449
It's weird, because looking at the VAPI the calls are still present: https://gitlab.gnome.org/GNOME/vala/blob/d71a97f9615094e1dc083bbac2776ab94a85c62f/vapi/webkit2gtk-4.0.vapi#L339
Did 0.42.5 change how deprecated symbols are handled? This isn't a problem with current master.