Passed
Push — develop ( 9ddb8e...3e14f0 )
by Christophe
01:22 queued 15s
created

No notable changes

There were no notable changes in the changeset which was inspected.

4.76
▶   ± 0
Head
Christophe Demko  
Merge tag '3.4.3.0' into develop
1 more commit
Base
Christophe Demko  
Fix listing-identifier in latex