Re: 4.2.2 release

[John W. Eaton]

On 11/20/2017 04:02 PM, Dmitri A. Sergatskov wrote:
> On Mon, Nov 20, 2017 at 2:42 PM, John W. Eaton <address@hidden 
> <mailto:address@hidden>> wrote:
>
>
>         ​I do not remember seen this problem with  dev version​ ever...
>
>
>     What about the stable branch?  Not default (which is what I think of
>     as dev).
>
>
> ​I guess I need instructions on how to get stable sources....​

After checking out the sources with hg:

  hg update stable

After that, "hg branch" should report "stable".  Then you can run 
bootstrap, configure, and make as usual.

jwe