Add a command to delete history item at point #1871
| Job | Run time |
|---|---|
| 4m 2s | |
| 4m 49s | |
| 4m 10s | |
| 7m 35s | |
| 4m 34s | |
| 6m 10s | |
| 4m 54s | |
| 5m 12s | |
| 2m 21s | |
| 5m 2s | |
| 2m 20s | |
| 3m 0s | |
| 4m 39s | |
| 3m 1s | |
| 2m 44s | |
| 3m 4s | |
| 8m 39s | |
| 7m 27s | |
| 6m 17s | |
| 6m 19s | |
| 5m 46s | |
| 5m 41s | |
| 8m 12s | |
| 6m 20s | |
| 3m 14s | |
| 2m 54s | |
| 3m 44s | |
| 3m 17s | |
| 2h 15m 27s |