1.3.2
Holger Zahnleiter's avatar
Holger Zahnleiter
@hzahnlei
726631de · Merge branch '1.3.2' into 'master' ·
Release: 1.3.2 
Small bug fix. Now including `<stdexcept>` instead of `<exception>`.