Subject: Re: [bug#42734] [PATCH 1/2] gnu: android: Export android-platform-version.
From: Mathieu Othacehe <[email-masked]>
To: Denis 'GNUtoo' Carikli <[email-masked]>
Cc: [email-masked]
Date: Fri, 07 Aug 2020 10:24:34 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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