GitHub PushEvent at 2014-11-28 15:24:34
Repository: incubator-flink
Actor: twalthr
Payload: {"shas":[["45b19f4d59a0531904613876f84fb840c8bea56e","59bd0a3ff43b32849b319e645d4798d8a5d1e889@twalthr.com","[FLINK-1245] Introduce TypeHints for Java API operators","twalthr",true]],"size":1,"ref":"refs/heads/TypeInfoRework","head":"45b19f4d59a0531904613876f84fb840c8bea56e"}