SIGN IN SIGN UP

Add parent directory in release zipfile

This avoids to mistakenly extract all the files in the current
directory.
R
Romain Vimont committed
8b38b11875eee81186adebe709ef0fcfd68d88ab
Parent: 6482146