ref: 108314444b510bfc330ccac745dce7beccd52c91
parent: 51e178a6a28a3f305d89ebb489675743f80862ee
author: Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
date: Sun Mar 8 12:33:15 EDT 2020
Add HTTP header support for the dev server Fixes #7031