diff -r db45d04eb957 -r f354d24e08ca integration/edition.html --- a/integration/edition.html Mon Jun 10 13:11:43 2013 +0200 +++ b/integration/edition.html Mon Jun 10 15:58:23 2013 +0200 @@ -508,7 +508,7 @@