From 7e2a08ecdb36edca67f676d87af86056c412c26f Mon Sep 17 00:00:00 2001
From: Bridget Kromhout <bridget@kromhout.org>
Date: Wed, 11 May 2016 22:52:56 -0500
Subject: [PATCH] No longer needed; Matt found the bug.

Former-commit-id: 4fbeae5416815501983f2b349f5abb1529c3b8e6