[tor-bugs] #12406 [Tor bundles/installation]: use MinGW-w64 v3.1.0 for TBB 4.x

[Tor Bug Tracker & Wiki]

#12406: use MinGW-w64 v3.1.0 for TBB 4.x
------------------------------------------+------------------------------
     Reporter:  mcs                       |      Owner:  erinn
         Type:  defect                    |     Status:  new
     Priority:  normal                    |  Milestone:
    Component:  Tor bundles/installation  |    Version:
   Resolution:                            |   Keywords:  MikePerry201406R
Actual Points:                            |  Parent ID:
       Points:                            |
------------------------------------------+------------------------------

Comment (by gk):

 Replying to [comment:1 mcs]:
 > OK, the branch is bug12406 within /user/brade/tor-browser-bundle.git,
 i.e.,
 > https://gitweb.torproject.org/user/brade/tor-browser-
 bundle.git/shortlog/refs/heads/bug12406
 >
 > We pushed two commits there.  The first one
 (9b8fe357886ce56c5465641d15842492b10f72ec) is optional (it just cleans up
 a few tags, etc. within the versions.alpha and versions.nightly files).
 Note that we did not update versions.beta because it seems fairly out of
 date; I guess someone will just copy versions.alpha over versions.beta
 when the time is right.

 Yes, and update the missing things in versions.alpha (like bump to latest
 tor alpha, HTTPS-E version etc.). So, no worries here.

 > The second commit (78a5e73d4e32334cca387be13b631687deeb0ec5) has the
 changes necessary for this bug.  We changed the checkout_mingw() function
 within fetch-inputs.sh to support pulling via a tag and we updated the
 component versions.  Again, we did not touch versions.beta.

 Why is the change in fetch-inputs.sh necessary? I mean what does speak
 against just bumping `MINGW_VER` to 6638 (which v3.1.0 is pointing to
 IIRC)? I don't see the benefit of having the additional complexity as tags
 in subversion can't be signed anyway (AFAICT).

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/12406#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online