Completed
Push — develop ( 92fbf3...048bfe )
by David
02:47 queued 10s
created

Changes

5 new patches (Indentation, Spacing) are available.
1 added class/operation
Arrow A Jsonld_Endpoint::jsonld_using_get_page_by_path() added
9.29
▶   ± 0
Head
David Riccitelli  
merge release/3.25.3 into develop.
4 more commits
Base
naveen  
see #973: fixing highlight removal for both the editors