Re: [gomp4.1] OpenMP 4.1 is dead, long live OpenMP 4.5

[Ilya Verbin]

On Fri, Oct 09, 2015 at 09:55:07 +0200, Jakub Jelinek wrote:
> -GOMP_4.1 {
> +GOMP_4.5 {
>    global:
>       GOMP_target_41;
>       GOMP_target_data_41;

Should we rename it to GOMP_target*_45, or do you know some more mnemonic name?

  -- Ilya