[gaskrank] Minor change and update ChangeLog after #11685
parent
e705755739
commit
9c14fe9681
2 changed files with 7 additions and 4 deletions
Loading…
Reference in new issue