various fixes. It never ends
added 1 commit
Compare with previous version
changed title from Sec exp v11.5 to Sec exp v11.6
merged
mentioned in commit 6fdeecdb