Allow updating of name of a function, as required by the standard (…
#636
| Job | Run time |
|---|---|
| 17m 40s | |
| 17m 42s | |
| 18m 56s | |
| 54m 18s |
name of a function, as required by the standard (…
#636
| Job | Run time |
|---|---|
| 17m 40s | |
| 17m 42s | |
| 18m 56s | |
| 54m 18s |