[PULL 04/17] migration: Drop redundant query-migrate result @blocked

2021-05-13 Thread Dr. David Alan Gilbert (git)
From: Markus Armbruster Result @blocked is redundant. Unfortunately, we realized this too close to the release to risk dropping it, so we deprecated it instead, in commit e11ce6c06. Since it was deprecated from the start, we can delete it without the customary grace period. Do so.

[PULL 04/17] migration: Drop redundant query-migrate result @blocked

2021-05-11 Thread Dr. David Alan Gilbert (git)
From: Markus Armbruster Result @blocked is redundant. Unfortunately, we realized this too close to the release to risk dropping it, so we deprecated it instead, in commit e11ce6c06. Since it was deprecated from the start, we can delete it without the customary grace period. Do so.