[m-rev.] Trivial diff: added name to people.inc file

[Simon Taylor]

On 03-Dec-2001, Julian <julianpg at students.cs.mu.oz.au> wrote:
> Estimated hours 0.5
> w3/contact/include/people.inc
> Added my name to the list. 

Please use the log template as given ("Estimated hours taken: ").
That will make it easier if we ever want to write a program to
process the log messages.

Indent the description of the change to the file.

> Index: people.inc
> ===================================================================
> RCS file: /home/mercury1/repository/w3/contact/include/people.inc,v
> retrieving revision 1.9
> diff -u -r1.9 people.inc
> --- people.inc	8 Oct 2001 08:34:00 -0000	1.9
> +++ people.inc	3 Dec 2001 04:21:17 -0000
> @@ -43,6 +43,7 @@
>  <li> Michael Day, summer student
>  <li> <a href = "http://www.csse.monash.edu.au/~wharvey/">Warwick Harvey</A>,
>  wharvey at cs.monash.edu.au, research fellow at Monash University
> +<li> Julian Grady, summer student julianpg at students.cs.mu.oz.au
>  <li> Oliver Hutchinson, ohutch at students.cs.mu.OZ.AU, summer student
>  <li> Robert Hutton, summer student
>  <li> Erwan Jahier, jahier at imag.fr, research assistant at Verimag in Grenoble, France

This section is for people who have worked on Mercury in the past. The
current list of developers is at the top of the file.
Please follow the layout of the other entries.
The entries should be in alphabetical order.

You've committed this without a review, which is usually not allowed.
Please send another diff when you've fixed the problems above.

You will need to subscribe yourself to the mercury-reviews,
mercury-developers and mercury-users mailing lists.

In general we prefer plain text, non-MIME-encoded messages on the
Mercury mailing lists. Your message will show up as base64-encoded
gibberish in the archive on the web site.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------