build+doc: bump version, add history entry for shutdown-grace-period

Bogdanp · jeapostrophe · commit fd4ab9898025 · 2025-07-26T06:36:11.000-06:00
diff --git a/web-server-doc/web-server/scribblings/safety-limits.scrbl b/web-server-doc/web-server/scribblings/safety-limits.scrbl
@@ -226,4 +226,5 @@
 
  @history[#:added "1.6"]
  @history[#:changed "1.11" @elem{added the @racket[max-concurrent] limit}]
+ @history[#:changed "1.13" @elem{added the @racket[shutdown-grace-period] limit}]
 }
diff --git a/web-server-lib/info.rkt b/web-server-lib/info.rkt
@@ -14,7 +14,7 @@
 
 (define pkg-authors '(jay))
 
-(define version "1.12")
+(define version "1.13")
 
 (define license
   '(Apache-2.0 OR MIT))

Original file line number	Diff line number	Diff line change
`@@ -226,4 +226,5 @@`
`226`	`226`
`227`	`227`	`@history[#:added "1.6"]`
`228`	`228`	`@history[#:changed "1.11" @elem{added the @racket[max-concurrent] limit}]`
	`229`	`+ @history[#:changed "1.13" @elem{added the @racket[shutdown-grace-period] limit}]`
`229`	`230`	`}`