am 3afdda62: am 0a98bfed: Fix build -- undo manager not yet public.

* commit '3afdda628686665dd64e0e47f666b74833389b11':
  Fix build -- undo manager not yet public.