~ salmonella-environment-setup (master) 6b16fb467163c6f8591431c81689c5630c22ef64

commit 6b16fb467163c6f8591431c81689c5630c22ef64
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Mon Oct 28 20:11:41 2019 +0100
Commit:     Mario Domenech Goulart <mario@parenteses.org>
CommitDate: Mon Oct 28 20:11:41 2019 +0100

    debian-stretch.sh: add python3-dev (for pyffi 3.9)

diff --git a/system-setup/debian-stretch.sh b/system-setup/debian-stretch.sh
index c09fc33..4d85dd0 100755
--- a/system-setup/debian-stretch.sh
+++ b/system-setup/debian-stretch.sh
@@ -60,6 +60,7 @@ sudo apt-get install \
     default-libmysqlclient-dev \
     libopenal-dev \
     python-dev \
+    python3-dev \
     libsqlite3-dev \
     libgdbm-dev \
     freetds-dev \