You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Cleanup many of the various XXX comments around type signatures around the mysql db
fixing modified/'sizes' to become u64s
fix the user_id column to be 64 bits (it's a BigInt in token server yet a regular Int in server-syncstorage for some reason)
may want to revisit handling of u64s passed into the database: they must be casted to i64s so we may want to bounds check them beforehand (fixed for user_id)
The text was updated successfully, but these errors were encountered:
Cleanup many of the various XXX comments around type signatures around the mysql db
The text was updated successfully, but these errors were encountered: