------------------------------------------------------------------- Wed Apr 10 15:26:54 UTC 2019 - Christophe Giboudeaux - Update to 5.12.1 * Fixed the configure.py options that relate to stub files. ------------------------------------------------------------------- Thu Feb 21 18:54:50 UTC 2019 - Todd R - Initial version (5.12)