On 06/21/2018 08:16 PM, Matias Fonzo wrote:
> Nice! there is a minor typo on the commit message:
>
> "varible"
>
> (try `git amend')
>
That was not one of my finer moments. Will have the changelog fixed in a
moment.
On Thu, 21 Jun 2018 19:36:45 -0300
Jesse Smith wrote:
> >
> > This will allow to pass customized compilation flags for the
> > optimization level while keeping the flags used by default.
> >
>
> Looks good to me and confirmed it works here. I've applied this patch
> to our development branch.
>
> This will allow to pass customized compilation flags for the
> optimization level while keeping the flags used by default.
>
Looks good to me and confirmed it works here. I've applied this patch to
our development branch.
- Jesse
