Completed
Push — master ( 97104d...f2a8ad )
by Michele
15s queued 12s
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.3
▶   ± 0
Test Coverage
82%
▶ ±0%
Head
Michele Locati  
Merge pull request #238 from ruudk/is-dir
2 more commits
Base
Michele Locati  
Merge pull request #237 from mlocati/fix-reading-configure-options-from-file-descriptor-stream