update changelog
Passed
Johannes Mey
created pipeline for commit
a96dfdce
, finished
1 related merge request: !1 Resolve "Renaming of Nonterminal Does Not Rename All Occurences"
14 minutes 17 seconds, queued for 6 seconds