19.2.5 has been released a couple of days ago, so perhaps worth bumping. Reproducible: Always Reproducible: Always
Thanks for reporting! 19.2.6 has just been added to the tree