Synopsis: national symbols in push argument ignored **** Comment added by ab on Thu, 01 Sep 2005 10:27:28 +0200 **** crossreferencing related bugs 1495 and 2023.