am d1f279e0: am 253e5eeb: am bc6f49ba: am 09ddc933: am 852e031c: am 6743a354: am e910a9c9: am b7917ee3: am 3722f087: Merge "Fix two bugs in dicttool"
* commit 'd1f279e0364c66d23ded843c30f26fc9a72382e9':main
commit
7770839d3b
* commit 'd1f279e0364c66d23ded843c30f26fc9a72382e9':main