borkdude/sci#375: allow re-binding of core vars in with-redefs

This commit is contained in:
Michiel Borkent 2020-08-08 21:14:29 +02:00 committed by GitHub
parent 106fd03e7b
commit eeabbb684f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

@ -1 +1 @@
Subproject commit 53b5b9d98f2e594384f628b0deee76b53bea5062
Subproject commit 4f10a0c8ad9f5b5d94eb5fce2dc2bb8afc6b9692

2
sci

@ -1 +1 @@
Subproject commit b29258bcd3ac1d06f6ec6f20ad07da9e1ec89497
Subproject commit 3724dca5860a420e91b8f9bff4c36280b6b92a2e