1.6.0 protected

Marek Jankola

@mjankola

c80744e1 · Merge branch 'develop' into 'trunk' · Apr 23, 2026

This minor release introduces few bug fixes and two new features:
- when a banner is set, it is also printed by webclient and benchmarking client in the command line
- BenchCloud now supports the same patterns for result-files as BenchExec