Allow updating of name of a function, as required by the standard
#629
| Job | Run time |
|---|---|
| 16m 20s | |
| 19m 35s | |
| 17m 57s | |
| 53m 52s |
name of a function, as required by the standard
#629
| Job | Run time |
|---|---|
| 16m 20s | |
| 19m 35s | |
| 17m 57s | |
| 53m 52s |