Bump libcore from `e725eb3` to `4bd3392` #827

Job	Run time
run / test	1m 50s
run / build (android-apk, ubuntu-latest, apk)	5m 53s
run / build (android-aab, ubuntu-latest, aab)	6m 34s
run / build (windows, windows-2019, amd64, exe,msix)	11m 47s
run / build (linux, ubuntu-22.04, amd64, AppImage,deb,rpm)	4m 47s
run / build (macos, macos-13, universal, dmg,pkg)	8m 55s
run / update-draft	0s
run / upload-release	0s
run / upload-to-testflight	0s
	39m 46s

Provide feedback