diff options
| author | Björn Gustavsson <[email protected]> | 2017-03-08 07:29:44 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-03-08 07:29:44 +0100 |
| commit | d2e05787454aebc8406a2f781b2648c552019763 (patch) | |
| tree | 11a9e52323c228806be71ea9bde7e1ce2819cc39 /lib | |
| parent | a52c18365acb5ed55793351ff3b3776a2a848503 (diff) | |
| parent | 0fe6927bf752226270b191282375a031768d8be3 (diff) | |
| download | otp-d2e05787454aebc8406a2f781b2648c552019763.tar.gz otp-d2e05787454aebc8406a2f781b2648c552019763.tar.bz2 otp-d2e05787454aebc8406a2f781b2648c552019763.zip | |
Merge branch 'maint'
* maint:
Travis CI: Avoid that builds gets killed for inactivity
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions