Trivialities noticed while normalizing 1.10

This commit is contained in:
Dana Robinson 2020-08-16 18:10:48 -07:00
parent 24c23c79d8
commit 5787404804
2 changed files with 2 additions and 2 deletions