Add changes to src/config/pool_config.l and regenerate src/config/pool_config.c.
authorBo Peng <pengbo@sraoss.co.jp>
Sat, 29 Aug 2020 23:29:38 +0000 (08:29 +0900)
committerBo Peng <pengbo@sraoss.co.jp>
Sat, 29 Aug 2020 23:29:38 +0000 (08:29 +0900)
commit91b3aaa46ccac30357fb3c89f1ff4caf9be8c4fd
tree140e0fa63b1c8cae784332e54dde3e0a9aa50190
parent86778775e789ff72e21722ca29999bdc70a302f0
Add changes to src/config/pool_config.l and regenerate src/config/pool_config.c.
That is missed in previous commit a840ecb2c0aa15448f7fc63a7b0bb46949a9c24f.
src/config/pool_config.c
src/config/pool_config.l