Skip to content

Automatic merge of master into galahad #159

Automatic merge of master into galahad

Automatic merge of master into galahad #159

Annotations

1 warning

org.antlr:antlr4-runtime:4.13.2 && org.eclipse.jgit:org.eclipse.jgit:7.0.0.202409031743-r

succeeded Jan 2, 2025 in 7m 34s