Check polkadot compilation. (#3980)
* Check polkadot compilation. * Fix git grep. * Make sure to update properly. Use commit hash instead.
parent
745b68bf
Please register or sign in to comment
* Check polkadot compilation. * Fix git grep. * Make sure to update properly. Use commit hash instead.