March 30, 2018 at 2:34 pm
#495
Bill Finzer
Keymaster
Hello Christián,
Thank you very much for this bug report. I have also seen this bug, but have had trouble reproducing it consistently. Your air quality document seems to provide the easy reproducibility we need to fix it.
Yours,
Bill
p.s. (April 2, 2018) The bug is now fixed and will appear in the next build—0439.