[tor-bugs] #18360 [Core Tor/Tor]: option not to use mman-win32

[Tor Bug Tracker & Wiki]

#18360: option not to use mman-win32
-------------------------------------------------+-------------------------
 Reporter:  erchewin                             |          Owner:
     Type:  enhancement                          |         Status:  new
 Priority:  Low                                  |      Milestone:  Tor:
                                                 |  unspecified
Component:  Core Tor/Tor                         |        Version:
 Severity:  Minor                                |     Resolution:
 Keywords:  mman-win32, easy, mingw, tor-build,  |  Actual Points:
  win32-build,                                   |
Parent ID:                                       |         Points:  small
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------
Changes (by nickm):

 * keywords:  mman-win32, easy, tor-build, win32-build => mman-win32, easy,
     mingw, tor-build, win32-build,


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