Re: [tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+- Reporter: iwakeh | Owner: (none) Type: enhancement | Status: closed Priority: High |

Re: [tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+- Reporter: iwakeh | Owner: (none) Type: enhancement | Status: closed Priority: High |

Re: [tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+- Reporter: iwakeh | Owner: (none) Type: enhancement | Status: merge_ready Priority: High

Re: [tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+-- Reporter: iwakeh | Owner: (none) Type: enhancement | Status: needs_review Priority: High

Re: [tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+--- Reporter: iwakeh | Owner: Type: enhancement | Status: new Priority: Medium |

Re: [tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+--- Reporter: iwakeh | Owner: Type: enhancement | Status: new Priority: Medium |

[tor-bugs] #19730 [Metrics/Metrics website]: Metrics web java modules should use Java 7 throughout

#19730: Metrics web java modules should use Java 7 throughout -+--- Reporter: iwakeh | Owner: Type: enhancement | Status: new Priority: Medium |