You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Both are obviously derived from the same root document. They should be compared for differences and merged.
I think version 2) should be the lone document going forward because it is in the better spot and seems to be formatted better already. Version 1) was the original contribution and did undergo a review with comments (#340), so part of this work is ensuring those minimal comments are captured in 2). Afterwards, 1) should be deleted.
The text was updated successfully, but these errors were encountered:
There are two versions of DebugCounter documentation in the compiler:
Both are obviously derived from the same root document. They should be compared for differences and merged.
I think version 2) should be the lone document going forward because it is in the better spot and seems to be formatted better already. Version 1) was the original contribution and did undergo a review with comments (#340), so part of this work is ensuring those minimal comments are captured in 2). Afterwards, 1) should be deleted.
The text was updated successfully, but these errors were encountered: