The sound distributed version control system

clippy fixes: use append instead of extend + drain (clippy::extend_with_drain)

Created by  3uGTfSxiPfZM9adJMcQLNHqMdb9m3ghhMAxFaFGdAmjJ  on May 8, 2022
PMX7YELD2PU2EJAN5NFFN3JVF6AYTHR3UY6ASV6O2NAEARN35WKAC
Change contents