Pushed. Regards, Stefano
- [SIMPLE PATCH] {maint} Manual: index refer to target &qu... Stefano Lattarini
- Re: [SIMPLE PATCH] {maint} Manual: index refer to t... Ralf Wildenhues
- Re: [SIMPLE PATCH] {maint} Manual: index refer ... Stefano Lattarini
Pushed. Regards, Stefano