Completed
Push — develop ( 34ef4f...63edd7 )
by David
02:16
created

Changes

1 issue (major) was introduced.
5 new patches (Doc Comments, Indentation, Spacing) are available.
9.22
▶   ± 0
Head
David Riccitelli  
see #966: check if the path exists before trying to open it; try to ignore warnings from deadlocks.
Base
David Riccitelli  
fix merge.