Applied as beffaf9a124e846eddd1519020c08ec6628fcd78 and pushed.
- [PATCH 0/2] Update ldc to 1.1.0. Danny Milosavljevic
- [PATCH 1/2] gnu: ldc: Rename ldc 0.17.2 to ldc-bo... Danny Milosavljevic
- Re: [PATCH 1/2] gnu: ldc: Rename ldc 0.17.2 t... Danny Milosavljevic
- [PATCH 2/2] gnu: ldc: Update to 1.1.0. Danny Milosavljevic
- Re: [PATCH 2/2] gnu: ldc: Update to 1.1.0. Efraim Flashner
- Re: [PATCH 2/2] gnu: ldc: Update to 1.1.0... Danny Milosavljevic
- Re: [PATCH 2/2] gnu: ldc: Update to 1... Ludovic Courtès
- Re: [PATCH 2/2] gnu: ldc: Update... Danny Milosavljevic
