Completed
Pull Request — master (#232)
by
unknown
07:15 queued 04:22
created

No notable changes

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

6.76
▶   ± 0
Head
Karsten Hoffmeyer  
Merge 9ccbc935c13c66bc67cb92ab275e3d30d32c2208 into 89b191d8ce1dc2a753fbc7cdef63119c876f4d02
7 more commits
Base
Stephan Gambke  
Fix filtered format when map view is not used (#231)