Skip to content
Back to pull request #3920

#3728 add @original-name attribute including parent objects #3332

Sign in to view logs

#3728 add @original-name attribute including parent objects

#3728 add @original-name attribute including parent objects #3332

ebnf

ebnf
succeeded Feb 18, 2025 in 1m 54s