Skip to content
Snippets Groups Projects
Commit 12a1e522 authored by Petr Špaček's avatar Petr Špaček
Browse files

Merge branch 'monotonic-nitpicks' into 'master'

Monotonic nitpicks

See merge request !418
parents f236a53b 9f8b6c5b
No related branches found
No related tags found
1 merge request!418Monotonic nitpicks
Pipeline #
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment