Merge pull request #268619 from tweag/lib-descriptions
commited5e926ec4b6438ef7e19f0ab2eb82bd342084d7
authorSilvan Mosberger <contact@infinisil.com>
Mon, 20 Nov 2023 16:25:59 +0000 (20 17:25 +0100)
committerGitHub <noreply@github.com>
Mon, 20 Nov 2023 16:25:59 +0000 (20 17:25 +0100)
treeb78c302352fd630146c3b65e56989a83a4d324a6
parentbdaf4ba41d2e3b9ecec55d4f18adbb71088dcfd2
parent055ba65fed8eac15b13ed68f70a7d506f9b2d291
Merge pull request #268619 from tweag/lib-descriptions

lib: Take advantage of section descriptions