tree 723e45fdfd407edee1c58fe03f52343d2780edbf
parent 62d77111341d27024290e9b5cf3716f12b22fb2b
parent 0e9c9081e7dbf1332b049467fa60a99373ee67ff
author Treehugger Robot <android-test-infra-autosubmit@system.gserviceaccount.com> 1690800119 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1690800119 +0000

Merge "Make hex_dec do what it claims to, and add TODO to fix unsoundness." into main