On Sun, Nov 15, 2020 at 02:28:21PM -0500, Leo Famulari wrote:
> On Sun, Nov 15, 2020 at 12:46:57PM +0200, Efraim Flashner wrote:
> > Looks good to me. It built without any problems.
> 
> Thanks for the review! Pushed as eea31f5537af335cd4ffcd824fbe580a73d44b4b

Hm, it didn't go through!

Pushed for real as 66a087d5d3dc86d31f99a40b9f5f4faf2e57dfb3