Hi Dirk, Paul
El mar., 26 may. 2020 17:30, Dirk Hohndel via subsurface <
subsurface@subsurface-divelog.org> escribió:
>
> The MXE version is fixed as a specific SHA. And as I grep through the
> sources to refresh my memory where that's done I notice that the SHA
> doesn't appear to be in the sour
Hi Salva,
you are of course correct. And I had used a script to pass that in here, but
then never checked in that script.
As a result the GitHub Action happened to use 'master' - which wasn't really
what I had intended.
/D
> On May 27, 2020, at 10:52 AM, Salvador Cuñat wrote:
>
> Hi Dirk, Pa
Yeah, I saw the parameter and an using it locally, but as Dirk mentions it
isn't used by the build on GitHub.
I will include this in my changes when I get something that behaves.
On Wed, 27 May 2020, 20:00 Dirk Hohndel, wrote:
> Hi Salva,
>
> you are of course correct. And I had used a script t
