tree 81fccddda1e09986902aca01c23d7d162f35fe29
parent fdbbb44aa64444f453192c52a7b89dd62917f8eb
author iarkh <irina.arkhipets@gmail.com> 1624948467 +0700
committer iarkh <irina.arkhipets@gmail.com> 1624948467 +0700

Issue #1094: Merge changes from pre-nnbd branch.