diff -r 34df8e58b6fc -r e5feaa369ccc integration/edition.html --- a/integration/edition.html Thu May 16 15:01:43 2013 +0200 +++ b/integration/edition.html Thu May 16 15:03:02 2013 +0200 @@ -444,6 +444,7 @@ +