Subject: 18454's patches have been applied

From: Paul Eggert <[email-masked]>
Date: Mon, 15 Aug 2016 15:53:13 -0700

tags 18454 - patch
thanks

There is still a performance issue, so the bug report remains open.