Skip to content
Started 4 yr 7 mo ago
Took 41 sec

Build #13 (Sep 12, 2019, 2:28:10 PM)

Changes
  1. use the section names from the spec, better clean in the Makefile (details / githubweb)

Pull request #2378 updated at 2:28:02 PM on Sep 12, 2019