[client-extension] Set Mizar install script to revision 465c9608259cc5947a20529a557ab5b11a3dadf7
View differences
[client-extension] Set Mizar install script to revision 465c9608259cc5947a20529a557ab5b11a3dadf7