Fwd: Delivery Status Notification (Failure)

[SHAHID Shahid Mahmood]

---------- Forwarded message ----------
From: Mail Delivery Subsystem <mailer...@google.com>
Date: Tue, Aug 8, 2017 at 10:44 PM
Subject: Delivery Status Notification (Failure)
To: ms140...@vu.edu.pk


Hello ms140...@vu.edu.pk,

We're writing to let you know that the group you tried to contact (randoop-discuss) may not exist, or you may not have permission to post messages to the group. A few more details on why you weren't able to post:

 * You might have spelled or formatted the group name incorrectly.
 * The owner of the group may have removed this group.
 * You may need to join the group before receiving permission to post.
 * This group may not be open to posting.

If you have questions related to this or any other Google Group, visit the Help Center at https://groups.google.com/support/.

Thanks,

Google Groups



----- Original message -----

Dear sir, can you provide goals, commands for the maven command line. The
link is given in the manual no longer available. I will be very thankful to
you in this regard


MS140...@vu.edu.pk
SHAHID MAHMOOD
+923063163273
+92459376272

[Michael Ernst]

> Dear sir, can you provide goals, commands for the maven command line. The
> link is given in the manual no longer available. I will be very thankful
> to
> you in this regard

The manual, at https://randoop.github.io/randoop/manual/index.html, links
to
https://bitbucket.org/javydreamercsw/randoop-maven-plugin/ .

When I browse to that URL, I can see the code.
So, everything seems to work.

You said "The link is given in the manual no longer available.", but you
didn't say what the link was, so it's hard to know what your problem is.

> Hello ms140...@vu.edu.pk,
>
> We're writing to let you know that the group you tried to contact
> (randoop-discuss) may not exist, or you may not have permission to post
> messages to the group. A few more details on why you weren't able to
> post:
>
> * You might have spelled or formatted the group name incorrectly.
> * The owner of the group may have removed this group.
> * You may need to join the group before receiving permission to post.
> * This group may not be open to posting.
>
> If you have questions related to this or any other Google Group, visit
> the
> Help Center at https://groups.google.com/support/.
>
> Thanks,
>
> Google Groups

Please don't surround your message with useless forwarding information.
Instead, please spend 5 seconds to make your message informative, but
cutting out those irrelevant parts.

-Mike