Strict maps#102

treeowl wants to merge 2 commits intolspitzner:masterlspitzner/pqueue:masterfrom

treeowl:strict-mapstreeowl/pqueue:strict-mapsCopy head branch name to clipboard