Remove built-in rope_rename
plugin (#515)
#931
Job | Run time |
---|---|
2m 10s | |
2m 3s | |
2m 12s | |
6m 25s |
rope_rename
plugin (#515)
#931
Job | Run time |
---|---|
2m 10s | |
2m 3s | |
2m 12s | |
6m 25s |