{"shas":[["a4114f71bf7af6361f9ac40f3e901409a5891534","6190d6ce5d3c08d4cc8f74a18d3b5cbb0c4353a8@gmail.com","Better the hints on scaling vectors (re #295)","Ben Alpert"]],"ref":"refs/heads/master","size":1,"head":"a4114f71bf7af6361f9ac40f3e901409a5891534","push_id":37313899}