eth-bot <85952233+eth-bot at users.noreply.github.com>
(bot 1272989785) moving EIPS/eip-233.md to stagnant (#3947)
PR 3947 with changes to EIPS/eip-233.md was created on
(2021-Sep-11th@20.17.24)
which is before the cutoff date of
(2021-Sep-12th@00.22.51)
i.e. 2 weeks ago