Branch: refs/heads/QA_4_7 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 4b4403aeef448e632b3f14d0fb74c4a748eae3c0 https://github.com/phpmyadmin/phpmyadmin/commit/4b4403aeef448e632b3f14d0fb74c4a748eae3c0 Author: Michal Čihař <mic...@cihar.com> Date: 2017-07-18 (Tue, 18 Jul 2017)
Changed paths: M js/codemirror/addon/lint/lint.js Log Message: ----------- Update to current lint plugin Our patch has been integrated. Signed-off-by: Michal Čihař <mic...@cihar.com>
_______________________________________________ Git mailing list Git@phpmyadmin.net https://lists.phpmyadmin.net/mailman/listinfo/git