Started 12 days ago
Took 2 hr 0 min

Aborted Build #58 (Feb 13, 2020, 7:52:48 PM)

Changes
  1. Dispatcher: include options in debug (details / githubweb)
  2. update doc to match behavior (details / githubweb)

Started by user Bob Jacobsen

Revision: 01da3b8bfa14bc6d1159c9ef1397a036e5a5a2ba
  • refs/remotes/origin/master

Identified problems

No identified problem

No problems were identified. If you know why this problem occurred, please add a suitable Cause for it.