Vladimir Glazounov 6532514be2 #100000# fix for casting to pointer from integer of different size		2008-10-06 10:44:06 +00:00
..
gnome	#100000# fix for casting to pointer from integer of different size	2008-10-06 10:44:06 +00:00