Re: [SR-Dev] git:henning/trie_mods: Merge commit 'origin/henning/trie'