fix #938: drop location metadata from symbols, except top level

This commit is contained in:
Michiel Borkent 2022-03-05 21:08:45 +01:00
parent 3f49ad3b89
commit 0107288ec5

2
sci

@ -1 +1 @@
Subproject commit a668e0a81d03ed869d427b0961c06e18a999119a
Subproject commit 02aa3b22b792cd987a08ca55cdebdf21842284ac