diff options
| author | coqbot-app[bot] | 2021-02-03 18:38:16 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-03 18:38:16 +0000 |
| commit | 730e0f46deb5cef9f6c61cfefe66e0404fb722be (patch) | |
| tree | 75bba9ef80c938a90afb653410aace2974054b2c /dev/doc | |
| parent | 8615aac5fc342b2184b3431abec15dbab621efba (diff) | |
| parent | 570744638ab4b08286562c0f4d45a7928ed008b0 (diff) | |
Merge PR #13776: Fix #13739 - disable some warnings when calling Function.
Reviewed-by: gares
Ack-by: Zimmi48
Ack-by: SkySkimmer
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions