Stephan Kulow eacbffad34
Merge pull request #2324 from coolo/accelerate_select
Speedup select: Avoid supersede calculation if pointless
2019-11-20 19:55:55 +01:00
..
2019-09-04 10:42:32 +02:00
2019-11-19 08:04:11 +01:00
2018-11-16 09:01:45 +01:00
2019-11-19 12:57:13 +01:00
2019-11-19 08:04:11 +01:00
2019-11-19 08:04:11 +01:00
2019-08-29 14:10:29 -05:00
2019-11-20 17:03:46 +01:00