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/?p=libs%2Fgl.git;a=commitdiff_plain;h=ca52c492bd4f2fa1a1db3a85e50eaf7c43474830;hp=ca52c492bd4f2fa1a1db3a85e50eaf7c43474830

Require import module names to be identifiers
---