I was just grabbing for a nice big hammer that I could be sure would work. Happy to back it off a bit.
On Tue, Aug 17, 2010 at 11:51 PM, Sean Owen <[email protected]> wrote: > Where this had happened before we just used the "Locale.ENGLISH" > locale as a slightly more neutral alternative. Is that OK? > > On Wed, Aug 18, 2010 at 12:07 AM, Sebastian Schelter <[email protected]> > wrote: > > Yes, everything's fine now, thanks for the quick response. > > > > Am 18.08.2010 00:54, schrieb Ted Dunning: > >> Sebastian, > >> > >> I just committed a fix. I tested it by setting the locale to DE.de and > got > >> the expected failure. That implies that > >> the fix should make things good for you. >
