v0.4.12

jenkins@jenkins.unige.ch

d0eb9860 · chore(release): 0.4.12 · Apr 30, 2020

chore(release): produced by Jenkins