Re: [LyX/master] Win installer: fix bug on init

2019-03-26 Thread Jean-Marc Lasgouttes

Le 26/03/2019 à 15:44, Uwe Stöhr a écrit :

On 26.03.2019 04:01, Richard Kimberly Heck wrote:


-!define ImageMagickVersion "7.0.7"
+!define ImageMagickVersion "7.0.8"


Please do not change such things on your own. I will change them when I
update such things in my own build tree.


So this is a new rule? In the past the consensus was to use up to date
third-party applications. Imagemagick 7.0.8 was released in June 2018:
https://imagemagick.org/script/changelog.php

Users should benefit from a recent ImageMagick since dozens of bugs have
been fixed that could affect users. Therefore we should not rely on what
a certain person has installed on his system.


What in Riki's answer made you think that the version will not be 
updated when time comes?


JMarc



Re: [LyX/master] Win installer: fix bug on init

2019-03-26 Thread Uwe Stöhr

On 26.03.2019 04:01, Richard Kimberly Heck wrote:


-!define ImageMagickVersion "7.0.7"
+!define ImageMagickVersion "7.0.8"


Please do not change such things on your own. I will change them when I
update such things in my own build tree.


So this is a new rule? In the past the consensus was to use up to date
third-party applications. Imagemagick 7.0.8 was released in June 2018:
https://imagemagick.org/script/changelog.php

Users should benefit from a recent ImageMagick since dozens of bugs have
been fixed that could affect users. Therefore we should not rely on what
a certain person has installed on his system.

regards Uwe


Re: [LyX/master] Win installer: fix bug on init

2019-03-25 Thread Richard Kimberly Heck
On 3/25/19 9:31 PM, Uwe Stöhr wrote:
> commit fc98efa7f3e23be35090f324b32976e9e170860f
> Author: Uwe Stöhr 
> Date:   Tue Mar 26 02:37:19 2019 +0100
>
> Win installer: fix bug on init
>
> ..
>  
> -!define ImageMagickVersion "7.0.7"
> +!define ImageMagickVersion "7.0.8"

Please do not change such things on your own. I will change them when I
update such things in my own build tree.

Riki