Yes, this seems to be a Windows Explorer problem, if I move the executable to a
different place, the icon changes. It is the first time I see this
behaviour... Sorry for the false alarm :-)
Alex.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" gro
At Wed, 28 Mar 2018 00:54:01 -0700 (PDT), Alex Harsanyi wrote:
>
>
> On Tuesday, March 27, 2018 at 9:17:49 PM UTC+8, Matthew Flatt wrote:
> >
> > I should have bumped the version number when adding `--embed-dlls`, but
> > I didn't. So, even though it's still version 6.90.0.23, `--embed-dlls`
>
On Tuesday, March 27, 2018 at 9:17:49 PM UTC+8, Matthew Flatt wrote:
>
> I should have bumped the version number when adding `--embed-dlls`, but
> I didn't. So, even though it's still version 6.90.0.23, `--embed-dlls`
> is in snapshots starting with the ones built on March 26.
>
I tried the n
I should have bumped the version number when adding `--embed-dlls`, but
I didn't. So, even though it's still version 6.90.0.23, `--embed-dlls`
is in snapshots starting with the ones built on March 26.
At Tue, 27 Mar 2018 03:38:28 -0700 (PDT), Alex Harsanyi wrote:
>
> I have version 6.90.0.23 inst
4 matches
Mail list logo