Fix typo
authorFabian Keil <fk@fabiankeil.de>
Thu, 28 May 2020 09:19:08 +0000 (11:19 +0200)
committerFabian Keil <fk@fabiankeil.de>
Thu, 28 May 2020 10:24:49 +0000 (12:24 +0200)
commit1fd6bf1646b6a5f8c8546c60e73dc09cd836d53a
treef3e7c2d7d59f212a44dd763273d04698613c4609
parentd11c0b23db68f8d8f2d620c1f9bb2b321a669d4f
Fix typo
doc/source/developer-manual.sgml