{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1704231610,"commit_time":1704231610,"committer":"GitHub","committer_email":"noreply@github.com","hash":"ad0d710ec442a34a4b0278f24b27d096d0d34d6b","message":"merge apply_opt OptOps.LOCAL and OptOps.LASTLOCAL into one block (#2980)\n\nand other minor apply_opt cleanups","parents":["8de160d08ee386faef2e48a63d178259d93b16d8"],"tree_hash":"81a1765f5dbb64e389b0cb744e711442fc0baf6f"}