faskhutdinov_idris_lab_4 is ready #307

Open
CptNemo wants to merge 2 commits from faskhutdinov_idris_lab_4 into main