Subject: 31228 is done

From: Paul Eggert <[email-masked]>
Date: Tue, 31 Dec 2019 23:40:44 -0800

close 31228
thanks

This bug appears to be fixed, so closing it.