tree 2fdfe6bf1033b851ed97cc07a4b03ef3d788f121
parent 87cf8664a0e106a3ed2161a12cbb1eeb441d20c5
author Akron <nils@diewald-online.de> 1718113659 +0200
committer Akron <nils@diewald-online.de> 1718202268 +0200

Correctly propagate frontend call warnings (fixes #211)

Change-Id: Ia571b8e6b0ba0a4edbf0501254ce2bc115f18cf6