Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix Android time issue #131. #132
As I say in #131 Androdid have three clocks. I found that
Because Android is linux I use
I also had to fix kraft. Do we use any special version? If I do PR in Kraft repo, will I be able to just use the latest version in CGE?
michaliskambi left a comment
Excellent finding! Thank you, it never occurred to me that we may have another clock on Android that is nicely monotonic.
I added some comments -- only nitpicking (as usual) :)
As for Kraft: the current version of