tree 96c5e051b897a3aee8d4420a1ca7ac0908de599a
parent adab245db9e187b47d1089bab9fea927cce6f6d5
author Gary Gregory <garydgregory@gmail.com> 1610853004 -0500
committer Gary Gregory <garydgregory@gmail.com> 1610853004 -0500

Use isEmpty().