From: Mario <mario.mario@y7mail.com>
Date: Fri, 27 Sep 2019 11:39:10 +0000 (+0000)
Subject: Merge branch 'all-default-to-release' into 'master'
X-Git-Tag: xonotic-v0.8.5~119
X-Git-Url: http://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=commitdiff_plain;h=7533f624e912d99e87106d2350f38601622f1af2

Merge branch 'all-default-to-release' into 'master'

Build an optimized release binary when using `./all compile` by default

See merge request xonotic/xonotic!60
---

7533f624e912d99e87106d2350f38601622f1af2