Skip to content
Snippets Groups Projects
Commit 900ac0f8 authored by Rajmund Hruška's avatar Rajmund Hruška
Browse files

Merge branch 'devel' into 'master' 

0.1.14

Closes #3 and #2

See merge request 709/warden/typedcols!6
parents ba94a996 78d9ab19
No related branches found
No related tags found
1 merge request!60.1.14
Pipeline #1868 passed
Stage: test
Stage: check-warnings
Stage: build
Stage: deploy
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment