released 1.2.1

Nikos Mavrogiannopoulos · Nikos Mavrogiannopoulos · commit ed807c8ee4a8 · 2015-06-15T11:03:51.000+02:00
diff --git a/NEWS b/NEWS
@@ -1,4 +1,4 @@
-* Version 1.2.1 (unreleaseD)
+* Version 1.2.1 (released 2015-06-15)
 - Removal of unused port-id-map file.
 - Corrections in the link creation during install.
 - Corrections in the types of the distributed dictionary.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-* Version 1.2.1 (unreleaseD)`
	`1`	`+* Version 1.2.1 (released 2015-06-15)`
`2`	`2`	`- Removal of unused port-id-map file.`
`3`	`3`	`- Corrections in the link creation during install.`
`4`	`4`	`- Corrections in the types of the distributed dictionary.`