The bug fix seems potentially serious and worth having: https://github.com/robolectric/robolectric/releases/tag/robolectric-4.6.1 PiperOrigin-RevId: 383096745
