Patch 2102: two bugfixes in the PrimV1 shrinker - Darcs bug tracker

Created on 2020-09-23.10:23:28 by bfrk, last changed 2020-10-16.20:33:01 by ganesh.

Files
File name	Status	Uploaded	Type	Edit	Remove
patch-preview.txt		bfrk, 2020-09-23.10:23:27	text/x-darcs-patch
two-bugfixes-in-the-primv1-shrinker.dpatch		bfrk, 2020-09-23.10:23:27	application/x-darcs-patch
unnamed		bfrk, 2020-09-23.10:23:27	text/plain

See mailing list archives for discussion on individual patches.

Messages
msg22452 (view)	Author: bfrk	Date: 2020-09-23.10:23:27
These came up while I played with extended RepoPatchV3 properties. They both lead to crashes of the shrinker when a property fails. 1 patch for repository http://darcs.net/screened: patch b0a1c375fe329928f34f81a879200aff2e7ac4a0 Author: Ben Franksen <ben.franksen@online.de> Date: Wed Sep 23 12:33:09 CEST 2020 * two bugfixes in the PrimV1 shrinker Attachments patch-preview.txt two-bugfixes-in-the-primv1-shrinker.dpatch unnamed
msg22463 (view)	Author: ganesh	Date: 2020-10-16.19:07:07
Makes sense

History
Date	User	Action	Args
2020-09-23 10:23:28	bfrk	create
2020-09-23 10:24:03	bfrk	set	status: needs-screening -> needs-review
2020-10-16 19:07:07	ganesh	set	status: needs-review -> accepted-pending-tests messages: + msg22463
2020-10-16 20:33:01	ganesh	set	status: accepted-pending-tests -> accepted