On Sun, Oct 6, 2019 at 6:26 PM Heinrich Schuchardt <xypron.glpk at gmx.de> wrote: > > %s/plaforms/platforms/g > > Signed-off-by: Heinrich Schuchardt <xypron.glpk at gmx.de> > --- > > .gitlab-ci.yml | 8 ++++---- > 1 file changed, 4 insertions(+), 4 deletions(-) > Reviewed-by: Bin Meng <bmeng.cn at gmail.com>