Closed Leon-Bichmann closed 4 years ago
Sorry, it DID compile but our SSH server is currently down.
ok I see, yeah it compiled for me as well.
Should we just merge it? Or retrigger jenkins?
Should we add that to the release/2.6.0 branch?
ah yes sure
I dont think we include the compiled PDF. It will be generated by Jenkins and uploaded. But it does not compile. Maybe the underscores in the \ref?