On Sat, 28 Sep 2019 10:55:57 +0200 Stephen Kitt <steve@xxxxxxx> wrote: > Wouldn’t it be better to update the docs simultaneously in each patch which > fixes a structure? Or is that unworkable with current development practices? Definitely update the two together. The doc fix should just go through the appropriate maintainer with the code change. Thanks, jon