Done and pushed to wip-hurd. Manolis
- [PATCH 06/10] gnu: flex: Add m4 as a native input. Manolis Ragkousis
- Re: [PATCH 06/10] gnu: flex: Add m4 as a native inp... Ludovic Courtès
- Re: [PATCH 06/10] gnu: flex: Add m4 as a native... Manolis Ragkousis
Done and pushed to wip-hurd. Manolis