[SCM] MIG tag, v1.8+git20200618, created. v1.8-11-g88b859c

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "MIG".

The tag, v1.8+git20200618 has been created
        at  88b859c0d1a377d584bda4fb74846ec19a7b958f (commit)

- Log -----------------------------------------------------------------
commit 88b859c0d1a377d584bda4fb74846ec19a7b958f
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Thu Jun 18 22:35:48 2020 +0200

    cpu.sym: Add more C types
    
    * cpu.sym: Add sizeof_long, sizeof_float, sizeof_double.
-----------------------------------------------------------------------


hooks/post-receive
-- 
MIG