{"shas":[["972a0b496705c811efcd447f046947f2653ed4fb","8eb360820b828c027b3eaa6a10057c01f64d1e0d@arete.fritz.box","LazyData changed to another format of Singleton\nSerialReader's command line option stubs filled","Bartek Dedersen"]],"ref":"refs/heads/translator","size":1,"head":"972a0b496705c811efcd447f046947f2653ed4fb","push_id":39212834}