tree 99031d1706eab893b070de5c3ca134803b11cfe9
parent d718127a7ec756015561def88271e5e253fcb84b
author Han-Wen Nienhuys <hanwen@google.com> 1660839047 +0200
committer Han-Wen NIenhuys <hanwen@google.com> 1661243077 -0400

WorkTreeUpdater#Result: hide data members

This is the standard across JGit.

Change-Id: Ie52ad7000d8725657b33dd4f3adcc05ab9666875