Was a bugzilla ticket created? If not, perhaps it was recently added
to
release-monitoring.org <
http://release-monitoring.org>, it seems that's
the only version detected at this point:
https://release-monitoring.org/project/9781/
Thanks,
Richard
Thanks. Looks like it is a case.