Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-11-02 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: dgoulet Type: defect| Status: closed Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-26 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: dgoulet Type: defect| Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-23 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: dgoulet Type: defect| Status: needs_revision Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-23 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: dgoulet Type: defect| Status: accepted Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-04 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-04 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-04 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: needs_revision Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-04 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-03 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-03 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-03 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: needs_review Priority: Medium| Milestone: Tor:

[tor-bugs] #23753 [Core Tor/Tor]: sched: Implement a SCHED_BUG() that prints more information

2017-10-03 Thread Tor Bug Tracker & Wiki
#23753: sched: Implement a SCHED_BUG() that prints more information --+ Reporter: dgoulet | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: 0.3.2.x-final