|
From: | Jose E. Marchesi |
Subject: | Re: [PATCH 1/2] Rename lib/ to gl/ |
Date: | Fri, 27 Mar 2020 10:57:02 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Both commits have been pushed to master. Thanks!
[Prev in Thread] | Current Thread | [Next in Thread] |