tree af7a28404241b2e03730f58d5e6335a43825e225
parent c6a40b3c4d188fbf3c1d0d8211de952711266640
parent a5025ac3c38637e6311d920de0db246e37944da4
author Antoine Musso <hashar@free.fr> 1718836151 +0200
committer Antoine Musso <hashar@free.fr> 1718836174 +0200

Merge branch 'stable-3.9' into stable-3.10

* stable-3.9:
  web-dev-server: serve some missing static assets
  web-dev-server: set content type for gr-app.js
  web-dev-server: fix cors not being set

I2d88dbcecf4b2011aa0a1d7304e3fafe88c2daf5 updated @koa/cors to 3.4.3, as
noted in Ia2850e7fd88b4a20acfa6344469db69dafe6cb25, that version rolled
back the fix to get cors headers set.

Release-Notes: skip
Change-Id: Ief8ada64834056c6d0affd74c944164f2f8d536a