diff -r f5da0f78d5f0 -r 071034a3654f .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Fri Aug 06 13:57:55 2010 +0100
@@ -0,0 +1,1 @@
+bb31fbe7886136e6fe699b9b4de53b92d18df7e1 PDK_3.0.1