Skip to content

Unify gdiff GraphML and traversal error handling#91

Merged
jrfaeder merged 1 commit into
RuleWorld:mainfrom
wshlavacek:gdiff-error-handling
May 12, 2026
Merged

Unify gdiff GraphML and traversal error handling#91
jrfaeder merged 1 commit into
RuleWorld:mainfrom
wshlavacek:gdiff-error-handling

Commits

Commits on May 11, 2026