Merge branch 'task/JAL-3510-update-clover-to-4.4.1' into develop
[jalview.git] / doc / patching-vaqua.txt
2018-09-07 Jim ProcterJAL-2988 JAL-2968 renamed patched VAqua5 to VAqua5...