tree 50756bd5899945b8dd30623b2d41eedaab3ee339
parent 21eaf40248716e3b3772cff72ffb5d81f731d922
author Christian Huitema <huitema@huitema.net> 1592951916 -0700
committer Christian Huitema <huitema@huitema.net> 1592951916 -0700

Fixes from Kazuho's review.