From: Mikko Rasa <tdb@tdb.fi>
Date: Fri, 21 Jun 2019 10:25:33 +0000 (+0300)
Subject: Require import module names to be identifiers
X-Git-Url: http://git.tdb.fi/?a=commitdiff_plain;ds=sidebyside;h=ca52c492bd4f2fa1a1db3a85e50eaf7c43474830;hp=ca52c492bd4f2fa1a1db3a85e50eaf7c43474830;p=libs%2Fgl.git

Require import module names to be identifiers
---