| ▲ | latexr 7 hours ago | |
I think you meant to reply to a different post? | ||
| ▲ | isodev 7 hours ago | parent [-] | |
Oh yes, it was peer comment. Oh well, too late now and you made the same point :) | ||
| ▲ | latexr 7 hours ago | |
I think you meant to reply to a different post? | ||
| ▲ | isodev 7 hours ago | parent [-] | |
Oh yes, it was peer comment. Oh well, too late now and you made the same point :) | ||