bjoern_tantau, 1 year ago 0.19.0 and 0.19.1 had a bunch of nasty bugs. You should update.
0.19.0 and 0.19.1 had a bunch of nasty bugs. You should update.