*** empty log message ***

2003-10-22 18:57:35 +00:00 · 2003-10-22 18:57:35 +00:00 · f5e383f205
parent 03cbc31fe2
commit f5e383f205
1 changed files with 3 additions and 0 deletions
--- a/Packages/Kernel_23/changes.txt
+++ b/Packages/Kernel_23/changes.txt
@ -1,3 +1,6 @@
+1.85 (22 October 2003)
+- resubmit
+
 1.84 (31 October 2003) [af]
 - Added Filtered_kernel_without_type_equality
 - new header