Replying to @wolframkriesing@wolframkriesing I only commit using gitadd -p. Thu, 13 Feb 2020 14:52:30 UTC♥ 2