tree 17d941a698c57260a9d6a0a3abacd1d971d16887
parent 588dbf61550ddcf4b31804838634a09acba85036
author Carlos Gomes Martinho <kmartinho8@gmail.com> 1587537266 +0200
committer Jim Schaad <ietf@augustcellars.com> 1587564962 -0700

build: remove old options