Apps script library automatic updation on client side (on doc refresh)?

I am not able to comment so I hope I am contributing enough to justify an answer..

So I tried to reproduce this:

I created a standalone App Script 'MyLib' and wrote a single function:

function myFunction()
{
  SpreadsheetApp.getUi().alert("TEST");
}

Next I created a spreadsheet and added a script to it via Tools. I'll call it "Spreadsheet Script".

In the Spreadsheet Script I added the MyLib as a library and turned the development mode 'on'. Also I added two functions to Spreadsheet Script:

 function onOpen(e)
 {
   myFunction();
 }

 function myFunction()
 {
    MyLib.myFunction();
 }

Ok, now I shared the Spreadsheet and the MyLib - script to my colleague with edit rights. He opened the spreadsheets and got the alert "TEST".

Now when I modified the alert text from the MyLib-script's myFunction to "TEST 2 " and just saved the file (File/Save, did not save a new version), my colleague saw the changes in the spreadsheet. Then, I made him to take a copy of the spreadsheet( To test the effect of the spreadsheet owner change). I changed the alert the text to "TEST 3". The change was reflected in his copy of the spreadsheet.

Are you able to reproduce this or does this approach fail to update for the other users? I am choosing this kind of simple example as sometimes the reason might reside in the code too...