1. 27 Oct, 2016 1 commit
    • Luca Boccassi's avatar
      Problem: build API incompatible with 4.1 · 8345fe9e
      Luca Boccassi authored
      Solution: keep the new --without-docs option, but also keep the old
      --without-documentation with an added deprecation warning.
      We can then remove it in the next major release, to leave enough time
      for users and maintainers to change it without disruptions.
      8345fe9e
  2. 23 Oct, 2016 4 commits
  3. 21 Oct, 2016 2 commits
  4. 18 Oct, 2016 2 commits
  5. 14 Oct, 2016 2 commits
  6. 12 Oct, 2016 1 commit
    • Jens Auer's avatar
      Fixed problems from previous PR for #2158 (#2160) · b0313259
      Jens Auer authored
      * - Fixed windows build errors
      - Extended monitor lock scope to prevent race-condition between
        process_stop and monitor
      
      * - Fixed windows build errors
      - Extended monitor lock scope to prevent race-condition between
        process_stop and monitor
      b0313259
  7. 11 Oct, 2016 3 commits
  8. 10 Oct, 2016 3 commits
  9. 09 Oct, 2016 2 commits
  10. 07 Oct, 2016 2 commits
  11. 04 Oct, 2016 2 commits
  12. 03 Oct, 2016 2 commits
  13. 01 Oct, 2016 5 commits
  14. 29 Sep, 2016 7 commits
  15. 28 Sep, 2016 2 commits