]> git.lizzy.rs Git - rust.git/commit
tweak merging to give up if we don't make any progress
authorRalf Jung <post@ralfj.de>
Mon, 7 Jan 2019 18:36:25 +0000 (19:36 +0100)
committerRalf Jung <post@ralfj.de>
Mon, 7 Jan 2019 18:36:25 +0000 (19:36 +0100)
commita957a36ddcb1a735719a96f1fb35c9ac0d604bf3
tree4c1910c4487d1e58c3e97ab0370f2f1a5d4de07c
parent17d11ebe6e9599d804c0378900b92a5a8054aec3
tweak merging to give up if we don't make any progress
src/range_map.rs