Matthew Flatt 88eb14828b change release-notes' "info.rkt" field to release-note-files' ... The change avoids a collision with PLaneT fields. Also, add checking for the form of a `release-note-files' value. original commit: 8f195a1ff65a05f7679af852f2cbfa58ea8f4bfc		2013-07-17 18:32:22 -06:00
pkgs	change release-notes' "info.rkt" field to release-note-files'	2013-07-17 18:32:22 -06:00