Code review comment for lp:~peter-gjoel/verifydtapn/ABPTraceFix

Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

> Manually tested on some examples and it seems to work fine. Can I merge it to
> trunk?

Yes please.

« Back to merge proposal