Skip to content
GitLab
Explore
Sign in
Register
GNOME
Geary
Merge requests
!255
Fix folders removed from the server never being removed
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Gratton
requested to merge
wip/366-remove-folders
into
mainline
Jul 17, 2019
Overview
0
Commits
1
Pipelines
1
Changes
2
Expand
Third time lucky at using BidiIterator correctly :(
See
#366 (closed)
and
#433 (closed)
Merge request reports