1.3.1

Holger Zahnleiter

@hzahnlei

85777b8d · Merge branch '1.3.1' into 'master' · Apr 04, 2020

Release: 1.3.1

Fixed a bug in RUNTIME_ERROR macro