BUG #6113: SET DATESTYLE='European' does not set datestyle output correctly

The following bug has been logged online:

Bug reference:      6113
Logged by:          David Carlos Manuelda
Email address:      StormByte@gmail.com
PostgreSQL version: 9.0.4
Operating system:   Gentoo Linux
Description:        SET DATESTYLE='European' does not set datestyle output
correctly
Details:

According to Doc (http://www.postgresql.org/docs/7.2/static/sql-set.html),
there are different datestyles available to format date outputs.
But either is a bug in doc or is a bug in postgre itself, but 'European'
does not currently do what it is intended (it does nothing actually).

From documentation:
Testcase 1: OK
German

    Use dd.mm.yyyy for numeric date representations.
SET DATESTYLE='German';
SELECT NOW()::DATE;
    now
------------
 12.07.2011

Testcase 2: FAIL!
SET DATESTYLE='European';
SELECT NOW()::DATE;
    now
------------
 12.07.2011

As you can see, SET DATESTYLE='European' just did nothing and did not change
it from last set which was 'German', and of course, it does not even outputs
what was expected and stated in documentation.