tree 3d1409b9e9df37c4bb294575b1275a7ba13ab7fb
parent dbd1bb6c12721314476c3cc7cc9eedc5b92cc894
author Gary Gregory <garydgregory@gmail.com> 1610848734 -0500
committer Gary Gregory <garydgregory@gmail.com> 1610848734 -0500

Use isEmpty().