On Mon, Feb 25, 2008 at 10:40 AM, Tom Tromey <tromey@redhat.com> wrote: > In 4.3 we changed the default location representation to "mapped > locations". The old representation was deprecated at that point. Thanks for doing this, Tom. Fantastic! -- Gaby