{"head":"6b59430d1b5807522251ae22c1cd087a4c7a1e96","size":1,"push_id":46042264,"shas":[["6b59430d1b5807522251ae22c1cd087a4c7a1e96","42e690e420135d30eb1a4887dbf4d1b3fb5607a3@ucsd.edu","Fix bug - take properly into account proxy lifetime for calculating retirement time; also fix handling of minimum retire_time","Igor Sfiligoi"]],"ref":"refs/heads/branch_v2_5_2plus_ucsd_factory"}