Merge pull request #27596 from yuwata/drop-pure
authorYu Watanabe <watanabe.yu+github@gmail.com>
Thu, 11 May 2023 07:49:40 +0000 (16:49 +0900)
committerGitHub <noreply@github.com>
Thu, 11 May 2023 07:49:40 +0000 (16:49 +0900)
commitd698679112ada999fbd22c3df01eb9865628cead
tree61331568a9b75cfd45a4fd9e2bd0e1e4c18e9cbb
parent531a6233d1d7978af005bffd59b0c703889d9b1c
parent6112c86139c6fefb1e669d337531b26b8fce0ae8
Merge pull request #27596 from yuwata/drop-pure

drop two more inappropriate _pure_ attributes and several cleanups