Merge pull request #3478 from ffontaine/develop
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 16 Dec 2021 20:49:19 +0000 (21:49 +0100)
committerGitHub <noreply@github.com>
Thu, 16 Dec 2021 20:49:19 +0000 (21:49 +0100)
Makefile: also consider -O, -Og and -Os when stripping flags


Trivial merge