On 12-08-22 8:29 PM, Philipp Kewisch wrote:
What is going to happen to PRTime? Is that going away too?

PRTime needs to be converted to mozilla::TimeStamp manually.

Cheers,
Ehsan
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Reply via email to