Name change applied. Closing ticket.
- [perl #43251] [PATCH] Rename tools/dev/mk_manifests.p... via RT
- Re: [perl #43251] [PATCH] Rename tools/dev/mk_ma... Bernhard Schmalhofer
- [perl #43251] [PATCH] Rename tools/dev/mk_ma... James Keenan via RT
- Re: [perl #43251] [PATCH] Rename tools/dev/mk_ma... chromatic
- [perl #43251] [PATCH] Rename tools/dev/mk_ma... James Keenan via RT
- [perl #43251] [PATCH] Rename tools/dev/mk_manife... James Keenan via RT