tree 1cfdfc68848d0daf215fdcd02c79486c2d89c4e7
parent b5cf9cf43a42776a025b1e6a523e1f02054330b7
author Chris Poucet <poucet@google.com> 1631674637 +0000
committer Christophe Poucet <poucet@google.com> 1631675498 +0000

Remove usage of private method 'div' in automerger

Google-Bug-Id: b/199777213
Change-Id: Icbe2f6b51625fe707c9c8054359ffcd026e4dca3