Skip to content
This repository was archived by the owner on Jun 30, 2021. It is now read-only.

Chg 588061 text for fixed issue 726 #31

Merged
merged 1 commit into from
Nov 17, 2018
Merged

Chg 588061 text for fixed issue 726 #31

merged 1 commit into from
Nov 17, 2018

Conversation

geoffmcl
Copy link
Contributor

The fix to check case of anchors requires the expects output of case-588061.txt to be fixed accordingly...

This PR should be simultaneous with PR 731 - See Issue 726 for full details...

The fix to check case of anchors requires the expects output of
case-588061.txt to be fixed accordingly...
@geoffmcl geoffmcl merged commit 20671e1 into next Nov 17, 2018
@geoffmcl geoffmcl deleted the issue-726 branch November 17, 2018 17:27
geoffmcl added a commit that referenced this pull request Nov 17, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant