Module Name:	doc
Committed By:	martin
Date:		Mon Jul 24 20:28:30 UTC 2000

Modified Files:
	doc: pkg-CHANGES

Log Message:
Noted update of emulators/uae to 0.8.13.
According to the docs/NEWS file in there:
User-visible changes in 0.8.13:
  - Bye bye GGI port
  - Several bugs fixed, mostly in the filesystem code
  - AGA updates


To generate a diff of this commit:
cvs rdiff -r1.2519 -r1.2520 doc/pkg-CHANGES

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.