Document the soft-deprecated directive (#1787)
#1800
| Job | Run time |
|---|---|
| 13s | |
| 13s |
soft-deprecated directive (#1787)
#1800
| Job | Run time |
|---|---|
| 13s | |
| 13s |