Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-18 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: closed Priority: Low | Milestone: Component:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-18 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: needs_review Priority: Low | Milestone:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-16 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: needs_review Priority: Low | Milestone:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-16 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: needs_review Priority: Medium | Milestone:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-16 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: needs_review Priority: Medium | Milestone:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-16 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: accepted Priority: Medium | Milestone: Component:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-04 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: iwakeh Type: enhancement | Status: accepted Priority: Medium | Milestone: Component:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-05-03 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: iwakeh Type: enhancement | Status: accepted Priority: Medium | Milestone: Component:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-04-09 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: iwakeh Type: enhancement | Status: accepted Priority: Medium | Milestone: Component:

Re: [tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-04-09 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: iwakeh Type: enhancement | Status: accepted Priority: Medium | Milestone: Component:

[tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

2018-04-03 Thread Tor Bug Tracker & Wiki
#25699: Make `ant war` run faster and the resulting .war file smaller -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: new Priority: Medium | Milestone: