10000 Release V8.5pl3: Merge remote-tracking branch 'github/pr/338' into v8.5 · ggonthier/coq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

V8.5pl3

V8.5pl3: Merge remote-tracking branch 'github/pr/338' into v8.5
@maximedenes maximedenes tagged this 25 Oct 16:05 
Was PR#338: Remove warning now that info_auto is fixed.
Assets 2
Loading
0