trigger-build#1

antaljanosbenjamin wants to merge 1 commit intomasterantaljanosbenjamin/compile-latex:masterfrom

trigger-buildantaljanosbenjamin/compile-latex:trigger-buildCopy head branch name to clipboard