Diff
Not logged in

Differences From Artifact [efccbf1dee]:

To Artifact [eb870fa35e]:


87
88
89
90
91
92
93
94
95
96
    }
    goto top;
  }
  return MP_OKAY;
}
#endif

/* $Source$ */
/* $Revision$ */
/* $Date$ */







|
|
|
87
88
89
90
91
92
93
94
95
96
    }
    goto top;
  }
  return MP_OKAY;
}
#endif

/* ref:         HEAD -> release/1.0.1, tag: v1.0.1-rc2 */
/* git commit:  e8c27ba7df0efb90708029115c94d681dfa7812f */
/* commit time: 2017-08-29 10:48:46 +0200 */