Completed
Push — develop ( 371f47...6bda27 )
by Greg
01:53
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.88
▶   ± 0
Head
edno  
Fix `export:whitelists` option hints typo
Base
edno  
Merge branch 'develop' of github.com:edno/kleis into develop