On Fri, Jul 20, 2018 at 2:56 PM, Ruediger Pluem <[email protected]> wrote: > > So maybe some checking is due there as well if the conditional fetching > should be removed?
+1 :)
On Fri, Jul 20, 2018 at 2:56 PM, Ruediger Pluem <[email protected]> wrote: > > So maybe some checking is due there as well if the conditional fetching > should be removed?
+1 :)