Johannes Schindelin <johannes.schinde...@gmx.de> writes: > How about I implement your suggestion tomorrow, then show the diff > between the two versions and we can assess what looks to be simpler > (i.e. more maintainable)?
I'm indifferent at this point, partly because as we agree that what you have as long as it works is ok, and more importantly, Michael's suggestion to turn "check unconditionally and only control if we ignore or warn or error out the result" into "do not even check if we are told to ignore" is a much more prouctive thing to spend your time on. -- To unsubscribe from this list: send the line "unsubscribe git" in
