[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42734: [PATCH 1/2] gnu: android: Export android-platform-version.
From: |
Mathieu Othacehe |
Subject: |
bug#42734: [PATCH 1/2] gnu: android: Export android-platform-version. |
Date: |
Fri, 07 Aug 2020 10:24:34 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello Denis,
> ;; The version tag is consistent between all repositories.
> -(define (android-platform-version) "7.1.2_r36")
> +(define-public (android-platform-version) "7.1.2_r36")
We could turn this procedure into a variable.
Anyway, pushed those two patches,
Thanks,
Mathieu