change boost mirror

Gabriele Contini

2020-10-09 b399ec224144d77d828d877e501331905cf97a70

 src/library/ini/SimpleIni.h

@@ -1912,7 +1912,7 @@
        if (pComment) {
            DeleteString(a_pComment);
            a_pComment = pComment;
            CopyString(a_pComment);
            (void)CopyString(a_pComment);
        }
        Delete(a_pSection, a_pKey);
        iKey = keyval.end();