minor

1 job for master in 18 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed compile_latex #119943

00:00:18

100.0%