tree 431b3ea977a9a383097262472ca891255937e5d8
parent 3812e1111ef035e7eaa487430f7c370738c43c31
author Gary Gregory <garydgregory@gmail.com> 1610854388 -0500
committer Gary Gregory <garydgregory@gmail.com> 1610854388 -0500

Use isEmpty().