Subject: 33096 is already fixed

From: Paul Eggert <[email-masked]>
Date: Fri, 19 Oct 2018 12:47:51 -0700

close 33096

done

The patch is already installed, so closing the bug report.