tree 2f5ae31515059fb47bc26008e2808fed586b59cc
parent 46e01bf5e1264b15a05356226fc6fdf4fc91756e
author Christopher Gerking <christopher.gerking@upb.de> 1526998353 +0200
committer Christopher Gerking <christopher.gerking@upb.de> 1526998353 +0200

[511765] Close parent module environments, use HashMap for caching