tree 049aa94f67c7701bb947ecb0e976c8d4dbedbfb8
parent 62e57a106709449556416f3c6014e57eaf184cc6
author Tamás Gulácsi <tgulacsi@users.noreply.github.com> 1555302852 +0200
committer jmarais <jacquesmaraisrsa@gmail.com> 1555302852 +0200

Fix map panic of #562 (#563)