Hi, At this point, nothing uses mozjs31, so I'm going to retire it in Rawhide and orphan for F24 / F25. It was used by 0 A.D. (the reason why we packaged it), but nowadays upstream migrated to mozjs38. -- -Igor Gnatenko _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
