diff --git a/tools/release/cover.pdf b/tools/release/cover.pdf index 8a88a1287c4d09f1393d1b67acf46551b6098d40..a6a8df2b876504b950ec6e96c03c935eba6f7803 100644 Binary files a/tools/release/cover.pdf and b/tools/release/cover.pdf differ