core/dynprog.cpp: sqrt() for deletion_end gap

See #3275.
22 jobs for feature-a/2119-3275-large-deletions in 1 minute and 1 second (queued for 11 seconds)
latest