small cleanup (#2715)
parent
3e466aa528
commit
232cb25683
2 changed files with 2 additions and 5 deletions
Loading…
Reference in new issue