Merge branch '21606-keep-web-output-buffer'
[arvados.git] / services / workbench2 / src / views-components / data-explorer / data-explorer.tsx
index 1a588b78e9ec177a7f144bdd178b83afa7cb1162..643949a20e0545169dac1aa6359705ccc6b86919 100644 (file)
@@ -39,7 +39,6 @@ const mapStateToProps = ({ progressIndicator, dataExplorer, router, multiselect,
         isMSToolbarVisible,
         checkedList: multiselect.checkedList,
         working,
-        isNotFound: dataExplorerState.isNotFound,
     };
 };