diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-04-28 09:33:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-28 09:33:22 +0200 |
commit | 5c5cfaabf251151e0f62edcff5e8d1e71f521f42 (patch) | |
tree | 4ab3f04c8b2c57d95dca089a3bf2a4e71da3d4fc /servers | |
parent | 1c2766e24073314a7dff711095610e737784bd46 (diff) | |
parent | a2c419bdc9db76666a9c9a7b6e50e6a0d1e33d55 (diff) |
Merge pull request #42607 from Dragoncraft89/type_checks
Raise error if Resource is of wrong type as function argument
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions