Ignore:
Timestamp:
2017-12-16T21:06:42+01:00 (17 months ago)
Author:
Don-vip
Message:

update to PMD 6.0.0

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserModel.java

    r12809 r13202  
    152152        // if latest version from history is higher than a non existing primitive version,
    153153        // that means this version has been redacted and the primitive cannot be used.
    154         if (history.getLatest().getVersion() > primitive.getVersion())
    155             return false;
     154        return history.getLatest().getVersion() <= primitive.getVersion();
    156155
    157156        // latest has a higher version than one of the primitives
    158157        // in the history (probably because the history got out of sync
    159158        // with uploaded data) -> show the primitive as latest
    160         return true;
    161159    }
    162160
Note: See TracChangeset for help on using the changeset viewer.