Tim Molter

Excellent! OK, so what's the problem with PDF exactly? Just the colors or something else as well? If we can clearly show the problems with PDF vs. EPS and SVG,...

Please fix conflicts. I will merge and push a release.

Please fix conflicts. I will merge and push a release.

Sorry, it happened again. Please fix conflicts. I will merge and push a release.

why?

Thanks, I'll check it out soon hopefully. If you want, please create a PR with the fix.

Yup, definitely a bug. For this specific time scale it seems.

Thanks! Would be great!

yes, we should add a CI check using Java 8. Also yes, I recall the constraint on the formatter. Maybe we just leave it at 2.9.x.

The main point of the formatter is to have a standard where all committers use so that merge diffs are best readable. That's really the only reason. We can remove...