Revision 813386673f33921e2e6908c2a659490aff595ec5

Committed on 11/12/2020 7:34 am by Michael H. Arieli <michaelharieli@gmail.com> [GitHub Diff]

Fixed coding standards