release 2.0.1

mirage · Dec 5, 2014 · f6f2211 · f6f2211
1 parent 095b7da
commit f6f2211
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -1,4 +1,4 @@
-2.0.1 (trunk):
+2.0.1 (05-Dec-2014):
 * [xen] Assert that pages passed to the grant share API are page-aligned.
   This always happens if they are created via `Io_page.create`, and
   probably not true if made by `Cstruct.create`.