Enable shortenIDs to recycle existing IDs (!187) · Merge requests · Jonathan Neuhauser / scour

Jonathan Neuhauser requested to merge github/fork/nthykier/fix-gh-186-shorten-id-recycle-used-ids into master Apr 13, 2018

Created by: nthykier

This patch enables shortenIDs to remap IDs currently in use. This is very helpful to ensure that scour does not change been "optimal" and "suboptimal" choices for IDs as observed in GH#186.

Closes: #186 (closed) Signed-off-by: Niels Thykier niels@thykier.net

Enable shortenIDs to recycle existing IDs

Merge request reports