On September 14, 2016 1:47:00 PM Ralph Amissah <ralph.amis...@gmail.com> wrote:
Please close bug (and do not apply patch). As far as I understand it the patch was not needed, and ended up being forgotten about. Ben please feel free to chime in.
I take your word for it. Your memory about this is probably better than mine. Just close it.
Ben
