Actually, it did. Mike committed it in r1084335, and reported that fact in this thread on Mar 22.
Best, -Hyrum On Sun, Mar 27, 2011 at 7:27 PM, Gavin Baumanis <gav...@thespidernet.com> wrote: > Ping. > This patch submission has received no comments. > > > > On 22/03/2011, at 8:27 AM, Danny Trebbien wrote: > >> On Mon, Mar 21, 2011 at 10:20 AM, Philip Martin >> <philip.mar...@wandisco.com> wrote: >>> Danny Trebbien <dtrebb...@gmail.com> writes: >>>> Attached are the patch, the log message, and the two TGZ archives of >>>> DUMP files (for the tests). >>> >>> The patch is missing. >>> >>> -- >>> Philip >> >> Sorry. Attached is the patch with a .txt extension. >> <source-prop-encoding-5.1.1.patch.txt> > >