Merge pull request #2423 from chamilo/flintci-3502

Applied fixes from FlintCI
pull/2458/head
Julio Montoya 8 years ago committed by GitHub
commit fcfa6c46ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
Loading…
Cancel
Save