minor change to core.py

This commit is contained in:
2025-11-09 10:34:46 +00:00
parent 6eb3f5a210
commit 8b1d9a81a1