Merge pull request #2445 from chamilo/flintci-3728

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