Thread
:
Find replace history not saved between sessions
View Single Post
02-10-2020, 09:33 AM
#
51
KevinH
Sigil Developer
Posts: 8,893
Karma: 6120478
Join Date: Nov 2009
Device: many
This could be a bug in the C++ standard library as well since it relates to destructors. What versions of g++ are you compiling with? What libc version? Is there any differences on your two machines?
KevinH
View Public Profile
Find More Posts by KevinH
Track Posts by KevinH via RSS