Re: bignum branch

[Eli Zaretskii]

> From: Tom Tromey <address@hidden>
> Date: Wed, 08 Aug 2018 17:14:25 -0600
> Cc: address@hidden
> 
> Still wondering about git merge -vs- git rebase for this branch.

If you are wondering because you are not sure what are our policy,
then you should know we don't have one.  Some people merge, others
rebase, still others do a mix.  So it's up to you, I think.