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(at)gmail(dot)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.