Skip to content
Snippets Groups Projects

query.ebnf: remove duplicate line

Passed
Denis Smirnov created pipeline for commit 2d86c413
, finished
For main
12 jobs 16 minutes 59 seconds, queued for 12 seconds