[platform-releng-dev] Conversion of local history

[Rafael Chaves <Rafael_Chaves@xxxxxxxxxx>]

Starting with today's integration build, a new implementation for the local
history is in place. Since the data structures kept in disk are different,
the existing data has to be converted. This will be reported as an
information entry in the log file, something like:

!ENTRY org.eclipse.core.resources 1 0 2004-12-06 18:29:55.704
!MESSAGE Conversion of local history completed successfully.

This is perfectly normal, and expected to happen only once. For people with
huge local histories, this will introduce a delay in the start-up sequence,
but that will be a one-time only cost. Normal local history operation is
expected to be faster than with the previous implementation.

For any problems you may find related to the local history, please open a
PR against Platform/Resources.

Thanks,

Rafael