Skip to content
Snippets Groups Projects

data: make alphabet mismatch detection more efficient

Warning
Jan Trávníček created pipeline for commit 0f0f749d
, finished
1 related merge request: !187 Merge jt - various fixes and improvements
8 jobs 39 minutes 56 seconds, queued for 2 seconds