| commit | 8c76de9383db5cb6d6b35ef8313adc09f4bd04bf | [log] [tgz] |
|---|---|---|
| author | Andrea Cosentino <ancosen@gmail.com> | Sun Dec 22 15:30:27 2019 +0100 |
| committer | GitHub <noreply@github.com> | Sun Dec 22 15:30:27 2019 +0100 |
| tree | 5d270466063a91ca3dac42de377e040a292d8219 | |
| parent | d5c0215e75eab51df07384721f0ad2ccccbfee0b [diff] | |
| parent | 63a533d594475ffb05c5c52dbddae1c12bc819c5 [diff] |
Merge pull request #571 from lburgazzoli/remove-mp-config-workaround Remove mp-config workaround