1. 2020-07-30 Re: [PATCH 11/17] cryptodisk: Rename total_length fie grub-deve Glenn Washburn 2. 2020-07-30 Re: [PATCH 11/17] cryptodisk: Rename total_length fie grub-deve Patrick Steinhardt 3. 2020-07-29 [PATCH 11/17] cryptodisk: Rename total_length field i grub-deve development