[#718] Fix destructuring in protocol method of record

This commit is contained in:
Michiel Borkent 2021-01-25 11:06:19 +01:00
parent 11810916cc
commit a1b35bae8c

2
sci

@ -1 +1 @@
Subproject commit 19242bf2cf549fd7895696e65761c04e32c61f7f
Subproject commit 735527b41aa9bae9f8b26fbe6a235335269590ac