2 Commits (04f165738cfad3b0f9a734757d932ceb873752f0)

Author	SHA1	Message	Date
Ira Abramov	04f165738c	another round of refinements after PR #1434	2020-12-16 20:20:34 -08:00
Ira Abramov	172c2526ef	Enforce some coding standards for the contributers	2020-12-16 20:20:34 -08:00