Completed
Push — merge/json-endpoints/082017 ( 1801a4...c41961 )
by
unknown
16:21 queued 06:15
created
5.77
▶   ± 0
Head
Igor Zinovyev  
Rest-API: Introduce a bulk post deletion endpoint
Base
Igor Zinovyev  
Merge commit '01e6eef'