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

* commit '0a98bfeda6423533417e2eee5ae669e61651f818':
  Fix build -- undo manager not yet public.