[bug#48953] [PATCH v5 3/3] gnu: dino: Enable some features.

guix-patches

From:	Jack Hill
Subject:	[bug#48953] [PATCH v5 3/3] gnu: dino: Enable some features.
Date:	Mon, 21 Jun 2021 13:19:26 -0400 (EDT)
User-agent:	Alpine 2.21 (DEB 202 2017-01-01)

Version 5 addresses my comments, so LGTM.

Thanks!
Jack

Current Thread

[Next in Thread]

[bug#48953] [PATCH v2 2/3] gnu: dino: Add missing inputs., (continued)
- [bug#48953] [PATCH v3 1/3] gnu: dino: Remove duplicate inputs., Raghav Gururajan, 2021/06/16
  - [bug#48953] [PATCH v3 2/3] gnu: dino: Add missing inputs., Raghav Gururajan, 2021/06/16
  - [bug#48953] [PATCH v3 3/3] gnu: dino: Enable missing features., Raghav Gururajan, 2021/06/16
- [bug#48953] [PATCH v4 1/3] gnu: dino: Remove duplicate inputs., Raghav Gururajan, 2021/06/16
  - [bug#48953] [PATCH v4 2/3] gnu: dino: Add missing inputs., Raghav Gururajan, 2021/06/16
  - [bug#48953] [PATCH v4 3/3] gnu: dino: Enable missing features., Raghav Gururajan, 2021/06/16
- [bug#48953] [PATCH v5 1/3] gnu: dino: Remove duplicate inputs., Raghav Gururajan, 2021/06/16
  - [bug#48953] [PATCH v5 2/3] gnu: dino: Add missing inputs., Raghav Gururajan, 2021/06/16
  - [bug#48953] [PATCH v5 3/3] gnu: dino: Enable some features., Raghav Gururajan, 2021/06/16
    - [bug#48953] [PATCH v5 3/3] gnu: dino: Enable some features., Jack Hill <=
- bug#48953: (no subject), Raghav Gururajan, 2021/06/22