The fix-remove-recipe branch seems not to be necessary--there was an intermittent problem with my setup that's now gone away.
« Back to merge proposal
The fix-remove-recipe branch seems not to be necessary--there was an intermittent problem with my setup that's now gone away.