Skip to content

fix: avoid delaborating with field notation if object is a metavariable #5051

fix: avoid delaborating with field notation if object is a metavariable

fix: avoid delaborating with field notation if object is a metavariable #5051

Annotations

1 warning

Backport

succeeded Nov 8, 2024 in 2s