Merge pull request #117045 from dotlambda/pure-maps-fix
pure-maps: fix
authored by Robert Schütz and committed by GitHub 4 years ago 08d3f9aa e1bb0858