Subject: bug#16694: bugs #16694/#16378: Patches

From: Stefan Monnier <[email-masked]>
Date: Thu, 27 Mar 2014 10:22:57 -0400

> Someone who knows this code better than me should decide what's The
> Right Thing.

Not sure if such a person exists, and she does, whether she is reading
this list :-(

        Stefan